Extensible automated constraint modelling, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011. ,
Constraint modelling: A challenge for first order automated reasoning, Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09), pp.4-18, 2009. ,
The complexity of global constraints, Proceedings of the 19th National Conference on AI. Association for Advancement of Artificial Intelligence, 2004. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00108868
NP-SPEC: an executable specification language for solving all problems in NP, Computer Languages, vol.26, issue.2-4, pp.165-195, 2000. ,
DOI : 10.1016/S0096-0551(01)00010-8
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS, Applied Artificial Intelligence, vol.1632, issue.4-5, pp.383-404, 2007. ,
DOI : 10.1023/A:1018930122475
Automatic generation of implied constraints, 17th European Conference on Artificial Intelligence, pp.73-77, 2006. ,
Increasing constraint propagation by redundant modeling: an experience report, Constraints, vol.4, issue.2, pp.167-192, 1999. ,
DOI : 10.1023/A:1009894810205
Symmetry breaking predicates for search problems, Proceedings of the 5th International Conference on Knowledge Representation and Reasoning, (KR '96), pp.148-159, 1996. ,
A backbone-search heuristic for efficient solving of hardn 3-SAT formulae, Proceedings of the 17th International Joint Conference on AI, pp.248-253, 2001. ,
The design of essence: A constraint language for specifying combinatorial problems, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.80-87, 2007. ,
Computers and intractability : a guide to the theory of NPcompleteness, 1979. ,
Dual viewpoint heuristics for binary constraint satisfaction problems, Proceedings of the 10th ECAI European Conference on Artificial Intelligence, pp.31-35, 1992. ,
Symmetry in Constraint Programming, Handbook for Constraint Programming, 2006. ,
DOI : 10.1016/S1574-6526(06)80014-3
CSPlib: A Benchmark Library for Constraints, A shorter version appears in the Proceedings of the 5th International Conference on Principles and Practices of Constraint Programming (CP- 99), 1999. ,
DOI : 10.1007/978-3-540-48085-3_36
UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES, International Journal of Foundations of Computer Science, vol.18, issue.05, pp.931-948, 2007. ,
DOI : 10.1142/S0129054107005066
Symmetry within solutions, Proceedings of the 24th National Conference on AI. AAAI, 2010. ,
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry, Proceedings of the 16th International Conference on the Principles and Practice of Constraint Programming, pp.305-320, 2010. ,
DOI : 10.1007/978-3-642-15396-9_26
URL : https://hal.archives-ouvertes.fr/hal-00865476
Backbones and backdoors in satisfiability, Proceedings of the 20th National Conference on AI. AAAI, 2005. ,
Detecting and Breaking Symmetries by Reasoning on Problem Specifications, 6th International Symposium on Abstraction, Reformulation and Approximation, pp.165-181, 2005. ,
DOI : 10.1007/11527862_12
A Novel Approach For Detecting Symmetries in CSP Models, 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp.158-172, 2008. ,
DOI : 10.1007/978-3-540-68155-7_14
Proving Symmetries by Model Transformation, 17th International Conference on Principles and Practice of Constraint Programming, pp.591-605, 2011. ,
DOI : 10.1007/978-3-642-23786-7_45
Automatic Detection of Variable and Value Symmetries, Proceedings of 11th International Conference on Principles and Practice of Constraint Programming (CP 2005), ed., P. van Beek, pp.475-489, 2005. ,
DOI : 10.1007/11564751_36
Breaking All Value Symmetries in Surjection Problems, Proceedings of 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005. ,
DOI : 10.1007/11564751_37
On the equivalence of constraint satisfaction problems, Proceedings of the 9th European Conference on Artificial Intelligence (ECAI'90), pp.550-556, 1990. ,
Permutation Problems and Channelling Constraints, Proceedings of 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2001. ,
DOI : 10.1007/3-540-45653-8_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8286