ShatterPB: symmetry-breaking for pseudo-Boolean formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Fadi A. Aloul' in GoogleThis author has not been identified. Look up 'Arathi Ramani' in GoogleThis author has not been identified. Look up 'Igor L. Markov' in GoogleThis author has not been identified. Look up 'Karem A. Sakallah' in Google

runs on WebDSL