Naoyuki Tamura, Mutsunori Banbara, Takehide Soh. Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1020-1027, IEEE, 2013. [doi]
@inproceedings{TamuraBS13,
title = {Compiling Pseudo-Boolean Constraints to SAT with Order Encoding},
author = {Naoyuki Tamura and Mutsunori Banbara and Takehide Soh},
year = {2013},
doi = {10.1109/ICTAI.2013.153},
url = {http://dx.doi.org/10.1109/ICTAI.2013.153},
researchr = {https://researchr.org/publication/TamuraBS13},
cites = {0},
citedby = {0},
pages = {1020-1027},
booktitle = {2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013},
publisher = {IEEE},
}