Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability. Aloul, F. A., Markov, I. L., & Sakallah, K. A. In Proc. 40th IEEE/ACM Design Automation Conference (DAC), pages 836-839, Anaheim, California, June, 2003.
bibtex   
@inproceedings{aloul2003shatter,
   author = {Aloul, Fadi A. and Markov, Igor L. and Sakallah, Karem A.},
   title = {{Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability}},
   booktitle = {Proc. 40th IEEE/ACM Design Automation Conference (DAC)},
   address = {Anaheim, California},
   pages = {836-839},
   month = {June},
   year = {2003}
}

Downloads: 0