%0 Conference Paper %1 conf/cp/GlorianLMS19 %A Glorian, Gael %A Lagniez, Jean-Marie %A Montmirail, Valentin %A Szczepanski, Nicolas %B CP %D 2019 %E Schiex, Thomas %E de Givry, Simon %I Springer %K dblp %P 213-231 %T An Incremental SAT-Based Approach to the Graph Colouring Problem. %U http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GlorianLMS19 %V 11802 %@ 978-3-030-30048-7

@inproceedings{conf/cp/GlorianLMS19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Glorian, Gael and Lagniez, Jean-Marie and Montmirail, Valentin and Szczepanski, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/2fbff9797025353db30b96aea6c4ddfc0/dblp}, booktitle = {CP}, crossref = {conf/cp/2019}, editor = {Schiex, Thomas and de Givry, Simon}, ee = {https://doi.org/10.1007/978-3-030-30048-7_13}, interhash = {ae73c6eb8a53242b5242e308326188a4}, intrahash = {fbff9797025353db30b96aea6c4ddfc0}, isbn = {978-3-030-30048-7}, keywords = {dblp}, pages = {213-231}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:53.000+0200}, title = {An Incremental SAT-Based Approach to the Graph Colouring Problem.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GlorianLMS19}, volume = 11802, year = 2019 }