Conference Papers
Year : 2019
Valentin Montmirail : Connect in order to contact the contributor
https://univ-cotedazur.hal.science/hal-02271397
Submitted on : Monday, August 26, 2019-5:42:06 PM
Last modification on : Thursday, March 7, 2024-11:21:47 AM
Dates and versions
Identifiers
- HAL Id : hal-02271397 , version 1
Cite
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 (CP'19), Sep 2019, Stamford, CT, United States. ⟨hal-02271397⟩
Collections
124
View
0
Download