Cohen, David A.

11 publications

JAIR 2020 Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search Artem Kaznatcheev, David A. Cohen, Peter Jeavons

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 Iterative Plan Construction for the Workflow Satisfiability Problem David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones

IJCAI 2013 Variable Elimination in Binary CSP via Forbidden Patterns David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný

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

AAAI 2006 Constraint Symmetry and Solution Symmetry David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

IJCAI 2005 A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition David A. Cohen, Peter Jeavons, Marc Gyssens

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

COLT 1992 On Exact Specification by Examples Martin Anthony, Graham R. Brightwell, David A. Cohen, John Shawe-Taylor