%0 Conference Paper %1 conf/cp/JaffarSV09 %A Jaffar, Joxan %A Santosa, Andrew E. %A Voicu, Razvan %B CP %D 2009 %E Gent, Ian P. %I Springer %K dblp %P 454-469 %T An Interpolation Method for CLP Traversal. %U http://dblp.uni-trier.de/db/conf/cp/cp2009.html#JaffarSV09 %V 5732 %@ 978-3-642-04243-0

@inproceedings{conf/cp/JaffarSV09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jaffar, Joxan and Santosa, Andrew E. and Voicu, Razvan}, biburl = {https://www.bibsonomy.org/bibtex/26bf617a973f3e812a6e5fa98fc293332/dblp}, booktitle = {CP}, crossref = {conf/cp/2009}, editor = {Gent, Ian P.}, ee = {https://doi.org/10.1007/978-3-642-04244-7_37}, interhash = {a302c5e4d2fdd8a604dc722fe8277f00}, intrahash = {6bf617a973f3e812a6e5fa98fc293332}, isbn = {978-3-642-04243-0}, keywords = {dblp}, pages = {454-469}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:18:35.000+0200}, title = {An Interpolation Method for CLP Traversal.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2009.html#JaffarSV09}, volume = 5732, year = 2009 }