ShatterPB: symmetry-breaking for pseudo-boolean formulas.

Autor: Aloulb, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.

Publikováno v: ASP-DAC 2004: Asia & South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753); 2004, p884-887, 4p