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.
Martin Cooper, Stanislav Zivny
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 44, p. 455-490, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cross-free-final.pdf
BibTeXMartin Cooper, Stanislav Zivny
Hybrid tractability of valued constraint problems
Dans : Artificial Intelligence, Elsevier, Vol. 175 N. 9-10, p. 1555-1569, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz10aij-submission3.pdf
BibTeX
Martin Cooper, Stanislav Zivny
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns (regular paper)
Dans : Logic in Computer Science (LICS 2016), New York City, 05/07/16-08/07/16, ACM : Association for Computing Machinery, p. 652-661, 2016.
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/
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, Stanislav Zivny
Tractable Triangles (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. 195-209, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz11cp-trian-crc2.pdf
BibTeXMartin Cooper, Stanislav Zivny
Hierarchically Nested Convex VCSP (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. 187-194, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz11convex-crc1.pdf
BibTeXMartin Cooper, Stanislav Zivny
A new hybrid tractable class of soft constraint problems (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2010), St. Andrews, Scotland, 06/09/10-10/09/10, Springer-Verlag, LNCS 6308, p. 152-166, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/JWPcp2010.pdf
BibTeX