%0 Conference Paper %1 conf/cpaior/BierleeGTDS22 %A Bierlee, Hendrik %A Gange, Graeme %A Tack, Guido %A Dekker, Jip J. %A Stuckey, Peter J. %B CPAIOR %D 2022 %E Schaus, Pierre %I Springer %K dblp %P 44-63 %T Coupling Different Integer Encodings for SAT. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2022.html#BierleeGTDS22 %V 13292 %@ 978-3-031-08011-1

@inproceedings{conf/cpaior/BierleeGTDS22, added-at = {2022-06-28T00:00:00.000+0200}, author = {Bierlee, Hendrik and Gange, Graeme and Tack, Guido and Dekker, Jip J. and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/257be982f5260da8dc72e8b34fc0f8976/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2022}, editor = {Schaus, Pierre}, ee = {https://doi.org/10.1007/978-3-031-08011-1_5}, interhash = {e32f3eecb4e57da157cf3e107a109bd5}, intrahash = {57be982f5260da8dc72e8b34fc0f8976}, isbn = {978-3-031-08011-1}, keywords = {dblp}, pages = {44-63}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:39:45.000+0200}, title = {Coupling Different Integer Encodings for SAT.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2022.html#BierleeGTDS22}, volume = 13292, year = 2022 }