"Shatter: efficient symmetry-breaking for boolean satisfiability."

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics