A. Fadi, A. Aloul, I. L. Ramani, K. A. Markov, and . Sakallah, Solving difficult instances of boolean satisfiability in the presence of symmetry, 2002.

A. Fadi, A. Aloul, I. L. Ramani, K. A. Markov, and . Sakallah, Solving difficult SAT instances in the presence of symmetry, Proceedings of the 39th Design Automation Conference, pp.731-736, 2002.

A. Fadi, A. Aloul, I. L. Ramani, K. A. Markov, and . Sakallah, Shatter: Efficient breaking for boolean satisfiability, proceedings of the international conference on Design Automation Conference (DAC), pp.836-839, 2003.

G. Audemard, B. Mazure, and L. Sais, Dealing with symmetries in quantified boolean formulas, Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004.

B. Benhamou and L. Sais, Tractability through symmetries in propositional calculus, Journal of Automated Reasoning, vol.8, issue.1, pp.89-102, 1994.
DOI : 10.1007/BF00881844
URL : https://hal.archives-ouvertes.fr/hal-01479609

J. Crawford, A theorical analysis of reasoning by symmetry in first order logic, Proceedings of Workshop on Tractable Reasonning, AAI92, pp.17-22, 1992.

J. Crawford, M. L. Ginsberg, E. Luck, and A. Roy, Symmetry-breaking predicates for search problems, KR'96: Principles of Knowledge Representation and Reasoning, pp.148-159, 1996.

P. Ian, B. Gent, and . Smith, Symmetry breaking in constraint programming, Proceedings of European Conference on Artificial Intelligence ECAI-2000, pp.599-603, 2000.

E. Giunchiglia, M. Narizzano, and A. Tacchella, Quantified Boolean Formulas satisfiability library

E. Giunchiglia, M. Narizzano, and A. Tacchella, QuBE : A system for deciding Quantified Boolean Formulas Satisfiability [11] Reinhold Letz. Lemma and model caching in decision procedures for quantified boolean formulas, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR'01) Proceedings of Tableaux 2002, pp.160-175, 2001.

B. D. Mckay, nauty user's guide (version 1.5), 1990.

J. François and P. , Symmetry breaking revisited, SymCon'02 ? Symmetry in Constraints -CP02 Workshop, 2002.

L. Zhang and S. Malik, Towards a symetric treatment of satisfaction and conflicts in quantified boolean formula evaluation, Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02), pp.200-215, 2002.