%0 Conference Paper %1 conf/cp/Bacchus07a %A Bacchus, Fahiem %B CP %D 2007 %E Bessiere, Christian %I Springer %K dblp %P 133-147 %T GAC Via Unit Propagation. %U http://dblp.uni-trier.de/db/conf/cp/cp2007.html#Bacchus07a %V 4741 %@ 978-3-540-74969-1

@inproceedings{conf/cp/Bacchus07a, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bacchus, Fahiem}, biburl = {https://www.bibsonomy.org/bibtex/2e60da875cea273fd3941f679541e3064/dblp}, booktitle = {CP}, crossref = {conf/cp/2007}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.1007/978-3-540-74970-7_12}, interhash = {d04975d770b03a2d6f8f47e8c9559111}, intrahash = {e60da875cea273fd3941f679541e3064}, isbn = {978-3-540-74969-1}, keywords = {dblp}, pages = {133-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:44.000+0200}, title = {GAC Via Unit Propagation.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2007.html#Bacchus07a}, volume = 4741, year = 2007 }