An Incremental SAT-Based Approach for Graph Colouring Problem

Document type :
Journal articles
Complete list of metadatas

https://hal.univ-cotedazur.fr/hal-02271397
Contributor : Valentin Montmirail <>
Submitted on : Monday, August 26, 2019 - 5:42:06 PM
Last modification on : Tuesday, August 27, 2019 - 1:25:56 AM

Identifiers

  • HAL Id : hal-02271397, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

32