Shatter: efficient symmetry-breaking for boolean satisfiability.

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

Browse the full DAC paper archive.