Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski. An Incremental SAT-Based Approach for Graph Colouring Problem.
The 25th International Conference on Principles and Practice of Constraint Programming, Simon de Givry and Thomas Schiex, In press.
⟨hal-02271397⟩