Katsirelos George, Narodytska Nina, Walsh Toby,
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry,
dans 16th International Conference on Principles and Practice of Constraint Programming (CP'10), Springer, Lecture Notes in Computer Science (LNCS) n° 6308, pp. 305-320, septembre 2010. [BibTeX...]
Bessiere Christian, Katsirelos George, Narodytska Nina, Quimper Claude-Guy, Walsh Toby,
Decomposition of the NValue Constraint ,
dans 16th International Conference on Principles and Practice of Constraint Programming (CP'10), pp. 114-128, septembre 2010. [BibTeX...]
Katsirelos George, Walsh Toby,
Symmetries of Symmetry Breaking Constraints,
dans 19th European Conference on Artificial Intelligence (ECAI'10), pp. 861-866, août 2010. [BibTeX...]
Audemard Gilles, Katsirelos George, Simon Laurent,
A Restriction of Extended Resolution for Clause Learning SAT Solvers,
dans 24th Conference on Artificial Intelligence (AAAI'10), pp. 10--15, juillet 2010. [Télécharger] [BibTeX...]
Bessiere Christian, Katsirelos George, Narodytska Nina, Quimper Claude-Guy, Walsh Toby,
Propagating Conjunctions of AllDifferent Constraints,
dans 24th Conference on Artificial Intelligence (AAAI'10), Springer, Lecture Notes in Computer Science (LNCS) n° 6308, juillet 2010. [BibTeX...]
Audemard Gilles, Katsirelos George, Simon Laurent,
Une restriction de la résolution étendue pour les démonstrateurs SAT modernes,
dans 6ièmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 43--50, juin 2010. [Télécharger] [BibTeX...]