%0 Conference Paper %1 conf/sat/EhlersR18 %A Ehlers, Rüdiger %A Romero, Francisco Palau %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K dblp %P 19-36 %T Approximately Propagation Complete and Conflict Propagating Constraint Encodings. %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html#EhlersR18 %V 10929 %@ 978-3-319-94144-8

@inproceedings{conf/sat/EhlersR18, added-at = {2018-06-27T00:00:00.000+0200}, author = {Ehlers, Rüdiger and Romero, Francisco Palau}, biburl = {https://www.bibsonomy.org/bibtex/2bbd9ec9fba21939a4b32117d83cd529d/dblp}, booktitle = {SAT}, crossref = {conf/sat/2018}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8_2}, interhash = {48d0b931074677603de4bedb311c5e6f}, intrahash = {bbd9ec9fba21939a4b32117d83cd529d}, isbn = {978-3-319-94144-8}, keywords = {dblp}, pages = {19-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:20:07.000+0200}, title = {Approximately Propagation Complete and Conflict Propagating Constraint Encodings.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html#EhlersR18}, volume = 10929, year = 2018 }