Dynamic symmetry-breaking for improved Boolean optimization.

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

Browse the full ASPDAC paper archive.