Artikel in einem Konferenzbericht,

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

, und .
Cliques, Coloring, and Satisfiability, Volume 26 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 619-652. DIMACS/AMS, (1993)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen