%0 Conference Paper %1 conf/cp/ArgelichM05 %A Argelich, Josep %A Manyà, Felip %B CP %D 2005 %E van Beek, Peter %I Springer %K dblp %P 838 %T Solving Over-Constrained Problems with SAT. %U http://dblp.uni-trier.de/db/conf/cp/cp2005.html#ArgelichM05 %V 3709 %@ 3-540-29238-1

@inproceedings{conf/cp/ArgelichM05, added-at = {2018-11-02T00:00:00.000+0100}, author = {Argelich, Josep and Manyà, Felip}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2559bbdfbf71305d1fd25cf403d0d84e4/dblp}, booktitle = {CP}, crossref = {conf/cp/2005}, editor = {van Beek, Peter}, ee = {https://doi.org/10.1007/11564751_76}, interhash = {01d721c12362b0b315831a81ba52e7b3}, intrahash = {559bbdfbf71305d1fd25cf403d0d84e4}, isbn = {3-540-29238-1}, keywords = {dblp}, pages = 838, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:11:43.000+0200}, title = {Solving Over-Constrained Problems with SAT.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2005.html#ArgelichM05}, volume = 3709, year = 2005 }