%0 Conference Paper %1 conf/cp/HebrardK18 %A Hebrard, Emmanuel %A Katsirelos, George %B CP %D 2018 %E Hooker, John N. %I Springer %K %P 179-194 %T Clause Learning and New Bounds for Graph Coloring. %U http://dblp.uni-trier.de/db/conf/cp/cp2018.html#HebrardK18 %V 11008 %@ 978-3-319-98334-9

@inproceedings{conf/cp/HebrardK18, added-at = {2023-12-13T04:48:17.000+0100}, author = {Hebrard, Emmanuel and Katsirelos, George}, biburl = {https://www.bibsonomy.org/bibtex/257f53c269317c17d0edd40e8e7c538c4/admin}, booktitle = {CP}, crossref = {conf/cp/2018}, editor = {Hooker, John N.}, ee = {https://doi.org/10.1007/978-3-319-98334-9_12}, interhash = {9a87a6fb2aaaaf55400458a842df480d}, intrahash = {57f53c269317c17d0edd40e8e7c538c4}, isbn = {978-3-319-98334-9}, keywords = {}, pages = {179-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:48:17.000+0100}, title = {Clause Learning and New Bounds for Graph Coloring.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2018.html#HebrardK18}, volume = 11008, year = 2018 }