Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey. Coupling Different Integer Encodings for SAT. In Pierre Schaus, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings. Volume 13292 of Lecture Notes in Computer Science, pages 44-63, Springer, 2022. [doi]
@inproceedings{BierleeGTDS22,
title = {Coupling Different Integer Encodings for SAT},
author = {Hendrik Bierlee and Graeme Gange and Guido Tack and Jip J. Dekker and Peter J. Stuckey},
year = {2022},
doi = {10.1007/978-3-031-08011-1_5},
url = {https://doi.org/10.1007/978-3-031-08011-1_5},
researchr = {https://researchr.org/publication/BierleeGTDS22},
cites = {0},
citedby = {0},
pages = {44-63},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings},
editor = {Pierre Schaus},
volume = {13292},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-08011-1},
}