Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah. ShatterPB: symmetry-breaking for pseudo-Boolean formulas. In Masaharu Imai, editor, Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. pages 883-886, IEEE, 2004. [doi]
@inproceedings{AloulRMS04,
title = {ShatterPB: symmetry-breaking for pseudo-Boolean formulas},
author = {Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah},
year = {2004},
doi = {10.1145/1015090.1015325},
url = {http://doi.acm.org/10.1145/1015090.1015325},
tags = {Markov},
researchr = {https://researchr.org/publication/AloulRMS04},
cites = {0},
citedby = {0},
pages = {883-886},
booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004},
editor = {Masaharu Imai},
publisher = {IEEE},
isbn = {0-7803-8175-0},
}