%0 Conference Paper %1 conf/cp/AbioMS15 %A Abío, Ignasi %A Mayer-Eichberger, Valentin %A Stuckey, Peter J. %B CP %D 2015 %E Pesant, Gilles %I Springer %K dblp %P 3-11 %T Encoding Linear Constraints with Implication Chains to CNF. %U http://dblp.uni-trier.de/db/conf/cp/cp2015.html#AbioMS15 %V 9255 %@ 978-3-319-23218-8

@inproceedings{conf/cp/AbioMS15, added-at = {2017-05-17T00:00:00.000+0200}, author = {Abío, Ignasi and Mayer-Eichberger, Valentin and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/25cb6c292ec339e9b0882aaae3b87aae5/dblp}, booktitle = {CP}, crossref = {conf/cp/2015}, editor = {Pesant, Gilles}, ee = {https://doi.org/10.1007/978-3-319-23219-5_1}, interhash = {47e1dc299e8d3a3b5251984d59f8dfe1}, intrahash = {5cb6c292ec339e9b0882aaae3b87aae5}, isbn = {978-3-319-23218-8}, keywords = {dblp}, pages = {3-11}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:20:12.000+0200}, title = {Encoding Linear Constraints with Implication Chains to CNF.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2015.html#AbioMS15}, volume = 9255, year = 2015 }