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]
Abstract is missing.