Inproceedings,

Object-oriented implementation of heuristic search methods for Graph Coloring, Maximum Clique, and Satisfiability.

, and .
Cliques, Coloring, and Satisfiability, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 619-652. DIMACS/AMS, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews