Publications de
Martin Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini
Broken Triangles: From Value Merging to a Tractable Class of General-Arity Constraint Satisfaction Problems
Dans : Artificial Intelligence, Elsevier, Vol. 234, p. 196-218, 2016.
David Cohen, Martin Cooper, Guillaume Escamocher, Stanislav Zivny
Variable and Value Elimination in Binary Constraint Satisfaction via Forbidden Patterns
Dans : Journal of Computer and System Sciences (JCSS), Elsevier, Vol. 81 N. 7, p. 1127-1143, 2015.
Martin Cooper, Guillaume Escamocher
Characterising the Complexity of Constraint Satisfaction Problems Defined by 2-Constraint Forbidden Patterns
Dans : Discrete Applied Mathematics, Elsevier, Vol. 184, p. 89-113, 2015.
Martin Cooper, Aymeric Duchein, Guillaume Escamocher
Broken Triangles Revisited (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, 31/08/15-04/09/15, Springer, LNCS 9255, p. 58-73, 2015.
David Cohen, Martin Cooper, Guillaume Escamocher, Stanislav Zivny
Variable Elimination in Binary CSP via Forbidden Patterns (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 03/08/13-09/08/13, International Joint Conference on Artificial Intelligence (IJCAI), p. 517-523, 2013.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/ccez13ve-final.pdf – https://oatao.univ-toulouse.fr/12549/
BibTeXMartin Cooper, Guillaume Escamocher, Stanislav Zivny
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, 08/10/12-12/10/12, Michela Milano (Eds.), Springer-Verlag, LNCS 7514, p. 265-273, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cez12cp-v5.pdf
BibTeXMartin Cooper, Guillaume Escamocher
Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse, 22/05/12-24/05/12, AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), 2012.
Martin Cooper, Guillaume Escamocher
A Dichotomy for 2-Constraint Forbidden CSP Patterns (regular paper)
Dans : Conference on Artificial Intelligence (AAAI 2012), Toronto, Canada, 22/07/12-26/07/12, AAAI Press, p. 464-470, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/aaai-2constraint-v6.pdf
BibTeX
Forbidden Patterns in Constraint Satisfaction Problems
Thèse de doctorat, Université de Toulouse, avril 2014.
Résumé Accès : http://www.irit.fr/publis/ADRIA/ThesisEscamocher.pdf
BibTeX