 |
HAL Université Côte d'Azur |  |
- Homepage
- Search
- Browse
- Deposit
-
Deposit - instructions
- Deposit in HAL
-
Deposit in HAL legally
- Do I have the right?
- SHERPA / RoMEO - publishers policies and self-archiving
- HELOISE - policies of French or French-language publishers and journals
- DULCINEA - platform which lists the policies of Spanish-language publishers and journals
- DOAJ - Directory of Open Access Journals
- WILLO - to know your rights to publish your publications in open access (tool created by Lilliad - Lille)
- Dissemin - Make sure your publications are freely accessible
- UCA scientific signature
- Deposit instructions for IDEX
- How to manage your deposits?
- How to create IdHAL and CV?
- The OA in practice
- Support
Journal articles
An Incremental SAT-Based Approach for Graph Colouring Problem
Gael Glorian 1
Author
Jean-Marie Lagniez 1
Mail : Site :
Author
Valentin Montmirail 2
Mail :
Author IdHAL : valentin-montmirail
Nicolas Szczepanski
Mail : Site :
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)
- UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
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
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
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
