F. A. Aloul, K. A. Sakallah, and I. L. Markov, Efficient symmetry breaking for Boolean satisfiability, IEEE Transactions on Computers, vol.55, issue.5, pp.549-558, 2006.
DOI : 10.1109/TC.2006.75

B. Benhamou, Study of symmetry in constraint satisfaction problems, Proceedings of CP'94, pp.246-254, 1994.

M. Carlsson and N. Beldiceanu, Revisiting the lexicographic ordering constraint, 2002.

D. Cohen, P. Jeavons, C. Jefferson, K. E. Petrie, and B. Smith, Symmetry Definitions for Constraint Satisfaction Problems, Constraints, vol.129, issue.2-3, pp.115-137, 2006.
DOI : 10.1007/s10601-006-8059-8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Crawford, M. Ginsberg, E. Luks, and A. Roy, Symmetry-breaking predicates for search problems, Proceedings of KR'96, pp.148-159, 1996.

P. T. Darga, M. H. Liffiton, K. A. Sakallah, and I. L. Markov, Exploiting structure in symmetry generation for CNF, Proceedings of DAC'04, pp.530-534, 2004.

A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh, Propagation algorithms for lexicographic ordering constraints, Artificial Intelligence, vol.170, issue.10, pp.803-834, 2006.
DOI : 10.1016/j.artint.2006.03.002

URL : http://doi.org/10.1016/j.artint.2006.03.002

A. Frisch, I. Miguel, and T. Walsh, CGRASS: A System for Transforming Constraint Satisfaction Problems, Proceedings of CSCLP'02, pp.23-36, 2002.
DOI : 10.1007/3-540-36607-5_2

I. P. Gent, K. E. Petrie, and J. F. Puget, Symmetry in Constraint Programming, Handbook of Constraint Programming, chapter 10, pp.329-376, 2006.
DOI : 10.1016/S1574-6526(06)80014-3

Z. Kiziltan, Symmetry Breaking Ordering Constraints, 2004.
DOI : 10.1007/978-3-540-45193-8_103

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. D. Mckay, Practical graph isomorphism, II, Journal of Symbolic Computation, vol.60, pp.45-87, 1981.
DOI : 10.1016/j.jsc.2013.09.003

J. F. Puget, On the satisfiability of symmetrical constrained satisfaction problems, Proceedings of ISMIS'93, pp.475-489, 1993.
DOI : 10.1007/3-540-56804-2_33

J. F. Puget, Automatic Detection of Variable and Value Symmetries, Proceedings of CP'05, pp.475-489, 2005.
DOI : 10.1007/11564751_36

A. Ramanai and I. L. Markov, Automatically Exploiting Symmetries in Constraint Programming, Proceedings of CSCLP'04, pp.98-112, 2004.
DOI : 10.1007/11402763_8

P. Roy and F. Pachet, Using symmetry of global constraints to speed up the resolution of constraint satisfaction problems, Proceedings of the workshop on non-binary constraints, held with ECAI'98, 1998.

T. Walsh, General Symmetry Breaking Constraints, Proceedings of CP'06, pp.650-664, 2006.
DOI : 10.1007/11889205_46

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=