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 : Tuesday, August 27, 2019 - 1:25:56 AM

Identifiers

  • HAL Id : hal-02271397, version 1

Collections

UNIV-COTEDAZUR | I3S | 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

32

Support

Université Nice Sophia Antipolis (UNS) Observatoire de la Côte d’Azur (OCA) Centre national de la recherche scientifique (CNRS) Institut national de la recherche en informatique et en automatique (Inria) SKEMA Business School EDHEC Business School  Centre Hospitalier Universitaire de Nice (CHU Nice) Centre National de Création Musicale (CIRM)  Ecole Nationale Supérieure d’Art Villa Arson Ecole Supérieure de Réalisation Audiovisuelle (ESRA) The Sustainable Design School (SDS) Ecole Supérieure de Danse de Cannes Rosella Hightower Conservatoire National à Rayonnement Régional de Nice (CNRR)