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]
No references recorded for this publication.
No citations of this publication recorded.