ShatterPB: symmetry-breaking for pseudo-Boolean formulas.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Browse the full ASPDAC paper archive.