 |
HAL Université Côte d'Azur |  |
Journal articles
An Incremental SAT-Based Approach for Graph Colouring Problem
Gael Glorian 1
Author IdHAL : gael-glorian
Jean-Marie Lagniez 1
Author
Valentin Montmirail 2
Author IdHAL : valentin-montmirail
Nicolas Szczepanski
Author
1
CRIL - Centre de Recherche en Informatique de Lens (Rue Jean Souvraz - SP 18 62307 LENS CEDEX - France)
- UA - Université d'Artois (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
2
I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
Document type :
Journal articles
Complete list of metadata
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
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⟩
Metrics
Record views