Symmetry breaking for pseudo-Boolean formulas

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah. Symmetry breaking for pseudo-Boolean formulas. ACM Journal of Experimental Algorithmics, 12, 2007. [doi]

Abstract

Abstract is missing.