1. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Shatter: efficient symmetry-breaking for Boolean satisfiability. In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, 2–6 June 2003, pp. 836–839 (2003)
2. Lecture Notes in Computer Science;G Audemard,2001
3. Claessen, K., Lillieström, A.: Automated inference of finite unsatisfiability. J. Autom. Reason. 47(2), 111–132 (2011)
4. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: CADE-19 Workshop: Model Computation - Principles, Algorithms and Applications (2003)
5. Darga, P.T., Katebi, H., Liffiton, M., Markov, I.L., Sakallah, K.: Saucy.
http://vlsicad.eecs.umich.edu/BK/SAUCY