An Incremental SAT-Based Approach to the Graph Colouring Problem.

Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski

Browse the full CP paper archive.