Efficient symmetry breaking for Boolean satisfiability, IEEE Transactions on Computers, vol.55, issue.5, pp.549-558, 2006. ,
DOI : 10.1109/TC.2006.75
Study of symmetry in constraint satisfaction problems, Proceedings of CP'94, pp.246-254, 1994. ,
Revisiting the lexicographic ordering constraint, 2002. ,
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=10.1.1.377.2244
Symmetry-breaking predicates for search problems, Proceedings of KR'96, pp.148-159, 1996. ,
Exploiting structure in symmetry generation for CNF, Proceedings of DAC'04, pp.530-534, 2004. ,
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
CGRASS: A System for Transforming Constraint Satisfaction Problems, Proceedings of CSCLP'02, pp.23-36, 2002. ,
DOI : 10.1007/3-540-36607-5_2
Symmetry in Constraint Programming, Handbook of Constraint Programming, chapter 10, pp.329-376, 2006. ,
DOI : 10.1016/S1574-6526(06)80014-3
Symmetry Breaking Ordering Constraints, 2004. ,
DOI : 10.1007/978-3-540-45193-8_103
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.3975
Practical graph isomorphism, II, Journal of Symbolic Computation, vol.60, pp.45-87, 1981. ,
DOI : 10.1016/j.jsc.2013.09.003
On the satisfiability of symmetrical constrained satisfaction problems, Proceedings of ISMIS'93, pp.475-489, 1993. ,
DOI : 10.1007/3-540-56804-2_33
Automatic Detection of Variable and Value Symmetries, Proceedings of CP'05, pp.475-489, 2005. ,
DOI : 10.1007/11564751_36
Automatically Exploiting Symmetries in Constraint Programming, Proceedings of CSCLP'04, pp.98-112, 2004. ,
DOI : 10.1007/11402763_8
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. ,
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=10.1.1.115.4193