Skip to Main content Skip to Navigation
Journal articles

An Incremental SAT-Based Approach for Graph Colouring Problem

Gael Glorian 1 Jean-Marie Lagniez 1 Valentin Montmirail 2 Nicolas Szczepanski
1 CRIL - Centre de Recherche en Informatique de Lens
2 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
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 : Monday, October 19, 2020 - 2:28:02 PM

Identifiers

  • HAL Id : hal-02271397, version 1

Collections

UNIV-COTEDAZUR | I3S | CNRS | UNICE | UNIV-ARTOIS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

154

Support