%0 Conference Paper %1 conf/cp/MichelH12 %A Michel, Laurent D. %A Hentenryck, Pascal Van %B CP %D 2012 %E Milano, Michela %I Springer %K dblp %P 527-543 %T Constraint Satisfaction over Bit-Vectors. %U http://dblp.uni-trier.de/db/conf/cp/cp2012.html#MichelH12 %V 7514 %@ 978-3-642-33557-0

@inproceedings{conf/cp/MichelH12, added-at = {2022-04-09T00:00:00.000+0200}, author = {Michel, Laurent D. and Hentenryck, Pascal Van}, biburl = {https://www.bibsonomy.org/bibtex/285fc5b9fad65d6cad0d9fed18bcf2a36/dblp}, booktitle = {CP}, crossref = {conf/cp/2012}, editor = {Milano, Michela}, ee = {https://doi.org/10.1007/978-3-642-33558-7_39}, interhash = {47327855060d592cda4e5a962cdd82d2}, intrahash = {85fc5b9fad65d6cad0d9fed18bcf2a36}, isbn = {978-3-642-33557-0}, keywords = {dblp}, pages = {527-543}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:56.000+0200}, title = {Constraint Satisfaction over Bit-Vectors.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2012.html#MichelH12}, volume = 7514, year = 2012 }