Clause Learning and New Bounds for Graph Coloring.

Emmanuel Hebrard, George Katsirelos

Browse the full IJCAI paper archive.