Cooper, Martin C

17 publications

IJCAI 2025 Interpretable DNFs Martin C. Cooper, Imane Bousdira, Clément Carbonnel
AAAI 2022 Tractable Explanations for D-DNNF Classifiers Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
ICML 2021 Explanations for Monotonic Classifiers. Joao Marques-Silva, Thomas Gerspacher, Martin C Cooper, Alexey Ignatiev, Nina Narodytska
IJCAI 2020 Variable Elimination in Binary CSPs (Extended Abstract) Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
JAIR 2019 Variable Elimination in Binary CSPs Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
IJCAI 2016 On Broken Triangles Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
AAAI 2015 Binarisation via Dualisation for Valued Constraints David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
IJCAI 2015 Tractable Classes of Binary CSPs Defined by Excluded Topological Minors David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
JAIR 2014 Monotone Temporal Planning: Tractability, Extensions and Applications Martin C. Cooper, Frederic Maris, Pierre Régnier
IJCAI 2013 Variable Elimination in Binary CSP via Forbidden Patterns David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
AAAI 2012 A Dichotomy for 2-Constraint Forbidden CSP Patterns Martin C. Cooper, Guillaume Escamocher
JAIR 2012 The Tractability of CSP Classes Defined by Forbidden Patterns David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
JAIR 2012 Tractable Triangles and Cross-Free Convexity in Discrete Optimisation Martin C. Cooper, Stanislav Zivný
AAAI 2008 Virtual Arc Consistency for Weighted CSP Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki
IJCAI 2007 Optimal Soft Arc Consistency Martin C. Cooper, Simon de Givry, Thomas Schiex
JAIR 2004 A Maximal Tractable Class of Soft Constraints David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
IJCAI 2003 A Maximal Tractable Class of Soft Constraints David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin