Publications de
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.
David Cohen, Martin Cooper, Paidi Creed, Peter Jeavons, Stanislav Zivny
An Algebraic Theory of Complexity for Discrete Optimization
Dans : SIAM Journal on Computing, Society for Industrial and Applied Mathematics (SIAM), USA, Vol. 42 N. 5, p. 1915-1939, 2013.
David Cohen, Martin Cooper, Paidi Creed, Daniel Marx, Andras Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 45, p. 47-78, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/pivot-jair-final.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons
Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms
Dans : Theoretical Computer Science, Elsevier, Vol. 401 N. 1-3, p. 36-51, 2008.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
The complexity of soft constraint satisfaction
Dans : Artificial Intelligence, Elsevier, Vol. 170 N. 11, p. 983-1016, 2006.
Accès : http://www.irit.fr/publis/ADRIA/AIJ_complexity_soft_constraint_satisfaction.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Supermodular functions and the complexity of MAX CSP
Dans : Discrete Applied Mathematics, Elsevier, Vol. 149 N. 1-3, p. 53-72, 2005.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
A maximal tractable class of soft constraints
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 22, p. 1-22, 2004.
Accès : http://www.irit.fr/publis/ADRIA/JAIRversion.pdf
BibTeXPeter Jeavons, David Cohen, Martin Cooper
Constraints, consistency and closure
Dans : Artificial Intelligence, Elsevier, Vol. 101, p. 251-265, 1998.
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, 25/07/15-31/07/15, AAAI Press, p. 1945-1951, 2015.
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
Binarisation via Dualisation for Valued Constraints (regular paper)
Dans : American Conference on Artificial Intelligence (AAAI 2015), Austin, Texas, USA, 25/01/15-30/01/15, AAAI Press, p. 3717-3723, 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/
BibTeXDavid Cohen, Martin Cooper, Martin Green, Daniel Marx
On Guaranteeing Polynomially Bounded Search Tree Size (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, 12/09/11-16/09/11, Vol. 6876, Jimmy Lee (Eds.), Springer, p. 160-171, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/poly_bounded_search_final.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons
An algebraic characterisation of complexity for valued constraints
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 01/09/06, Springer, LNCS 4204, p. 680-684, 2006.
David Cohen, Martin Cooper, Peter Jeavons
A complete characterization of complexity for boolean constraint optimization problems (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2004), Toronto, 27/09/04-01/10/04, Springer-Verlag, LNCS 3258, p. 212-226, octobre 2004.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Identifying Efficiently Solvable Cases of Max CSP
Dans : STACS, Montpellier, France, 25/03/04-27/03/04, Volker Diekert, Michel Habib (Eds.), LNCS 2996, Springer, p. 152-163, mars 2004.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
A Maximal Tractable Class of Soft Constraints
Dans : IJCAI-03, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 09/08/03-15/08/03, Georg Gottlob, Toby Walsh (Eds.), Morgan Kaufmann, p. 209-214, août 2003.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Soft Constraints: Complexity and Multimorphisms
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2003), Kinsale, Ireland, 29/09/03-03/10/03, Francesca Rossi (Eds.), Springer, LNCS 2833, p. 244-258, septembre 2003.
Peter Jeavons, David Cohen, Martin Cooper
When constraints are easy to satisfy
Dans : Proc. IMA Conference on Applications of Combinational Mathematics, –, Oxford University Press, England, janvier 1995.