%0 Conference Paper %1 conf/ijcai/HebrardK19 %A Hebrard, Emmanuel %A Katsirelos, George %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 6166-6170 %T Clause Learning and New Bounds for Graph Coloring. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#HebrardK19

@inproceedings{conf/ijcai/HebrardK19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Hebrard, Emmanuel and Katsirelos, George}, biburl = {https://www.bibsonomy.org/bibtex/2262e743f40f42c87daa78aef3035f7d5/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/856}, interhash = {8c7905089bc4fbac822bb36cefce7911}, intrahash = {262e743f40f42c87daa78aef3035f7d5}, keywords = {dblp}, pages = {6166-6170}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:22.000+0200}, title = {Clause Learning and New Bounds for Graph Coloring.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#HebrardK19}, year = 2019 }