Skip to Main content Skip to Navigation
Journal articles

An Incremental SAT-Based Approach for Graph Colouring Problem

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 : Thursday, March 5, 2020 - 12:20:21 PM

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

123