David A. Cohen

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 17

Top Topics

Singleton Arc Consistency

Constraint Satisfaction

Bounded Treewidth

Top Venues

J. Artif. Intell. Res.

Publications

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Galois Connections for Patterns: An Algebra of Labelled Graphs. GKR (2020)
Artem Kaznatcheev, David A. Cohen, Peter Jeavons
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. J. Artif. Intell. Res. 69 (2020)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. Oper. Res. Lett. 48 (3) (2020)
Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons
Representing fitness landscapes by valued constraints to understand the complexity of local search. CoRR (2019)
Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. CP (2019)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binary constraint satisfaction problems defined by excluded topological minors. Inf. Comput. 264 (2019)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. Algorithmica 81 (4) (2019)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. CoRR (2019)
Martin C. Cooper, Wafa Jguirim, David A. Cohen
Domain Reduction for Valued Constraints by Generalising Methods from CSP. CP (2018)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. STACS (2018)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns. CoRR (2017)
David A. Cohen, Peter G. Jeavons
The power of propagation: when GAC is enough. Constraints An Int. J. 22 (1) (2017)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
Binarisation for Valued Constraint Satisfaction Problems. SIAM J. Discret. Math. 31 (4) (2017)
David A. Cohen, Christopher Jefferson, Karen E. Petrie
A Theoretical Framework for Constraint Propagator Triggering. SOCS (2016)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Algorithms for the workflow satisfiability problem engineered for counting constraints. J. Comb. Optim. 32 (1) (2016)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors. CoRR (2016)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
Binarisation for Valued Constraint Satisfaction Problems. CoRR (2016)
Liang Chen, Tong Tong, Chin Pang Ho, Rajiv Patel, David A. Cohen, Angela C. Dawson, Omid Halse, Olivia Geraghty, Paul E. M. Rinne, Christopher J. White, Tagore Nakornchai, Paul Bentley, Daniel Rueckert
Identification of Cerebral Small Vessel Disease Using Multiple Instance Learning. MICCAI (1) (2015)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable and value elimination in binary constraint satisfaction via forbidden patterns. CoRR (2015)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci. 81 (7) (2015)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binarisation via Dualisation for Valued Constraints. AAAI (2015)
David A. Cohen, Jason Crampton, Andrei V. Gagarin, Gregory Z. Gutin, Mark Jones
Algorithms for the workflow satisfiability problem engineered for counting constraints. CoRR (2015)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. IJCAI (2015)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints. FAW (2014)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Iterative Plan Construction for the Workflow Satisfiability Problem. J. Artif. Intell. Res. 51 (2014)
David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný
Tractable Combinations of Global Constraints. CP (2013)
David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones
Pattern-Based Plan Construction for the Workflow Satisfiability Problem. CoRR (2013)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable Elimination in Binary CSP via Forbidden Patterns. IJCAI (2013)
David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
An Algebraic Theory of Complexity for Discrete Optimization. SIAM J. Comput. 42 (5) (2013)
David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný
Tractable Combinations of Global Constraints. CoRR (2013)
David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
An Algebraic Theory of Complexity for Discrete Optimisation CoRR (2012)
David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns. J. Artif. Intell. Res. 45 (2012)
David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. MFCS (2011)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints CoRR (2011)
David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon
The tractability of CSP classes defined by forbidden patterns CoRR (2011)
David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx
On Guaranteeing Polynomially Bounded Search Tree Size. CP (2011)
Michael D. J. Clements, David L. Dean, David A. Cohen
Supplier selected relationships: choosing friends, over family. Int. J. Manuf. Technol. Manag. 19 (1/2) (2010)
Stanislav Zivný, David A. Cohen, Peter G. Jeavons
The Expressive Power of Binary Submodular Functions. MFCS (2009)
Stanislav Zivný, David A. Cohen, Peter G. Jeavons
The expressive power of binary submodular functions. Discret. Appl. Math. 157 (15) (2009)
David A. Cohen, Martin James Green, Chris Houghton
Constraint Representations and Structural Tractability. CP (2009)
David A. Cohen, Peter Jeavons, Marc Gyssens
A unified theory of structural tractability for constraint satisfaction problems. J. Comput. Syst. Sci. 74 (5) (2008)
Martin James Green, David A. Cohen
Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172 (8-9) (2008)
David A. Cohen, Peter G. Jeavons, Stanislav Zivný
The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. 409 (1) (2008)
Stanislav Zivný, David A. Cohen, Peter G. Jeavons
The Expressive Power of Binary Submodular Functions CoRR (2008)
David A. Cohen, Martin C. Cooper, Peter Jeavons
Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Theor. Comput. Sci. 401 (1-3) (2008)
David A. Cohen, Peter Jeavons, Stanislav Zivný
The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP (2007)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Constraint Symmetry and Solution Symmetry. AAAI (2006)
David A. Cohen, Martin C. Cooper, Peter Jeavons
An Algebraic Characterisation of Complexity for Valued Constraint. CP (2006)
David A. Cohen, Martin James Green
Typed Guarded Decompositions for Constraint Satisfaction. CP (2006)
Chris Houghton, David A. Cohen, Martin James Green
The Effect of Constraint Representation on Structural Tractability. CP (2006)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
The complexity of soft constraint satisfaction. Artif. Intell. 170 (11) (2006)
David A. Cohen, Marc Gyssens, Peter Jeavons
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints (2006)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. Constraints An Int. J. 11 (2-3) (2006)
David A. Cohen, Peter Jeavons, Marc Gyssens
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. IJCAI (2005)
Chris Houghton, David A. Cohen
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. CP (2005)
David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
Symmetry Definitions for Constraint Satisfaction Problems. CP (2005)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Supermodular functions and the complexity of MAX CSP. Discret. Appl. Math. 149 (1-3) (2005)
David A. Cohen
EA-lect: an evolutionary algorithm for constructing logical rules to predict election into Cooperstown. IEEE Congress on Evolutionary Computation (2004)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Identifying Efficiently Solvable Cases of Max CSP. STACS (2004)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. 22 (2004)
David A. Cohen, Martin C. Cooper, Peter Jeavons
A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP (2004)
David A. Cohen
Tractable Decision for a Constraint Language Implies Tractable Search. Constraints An Int. J. 9 (3) (2004)
David A. Cohen, Peter Jeavons, Richard Gault
New Tractable Classes From Old. Constraints An Int. J. 8 (3) (2003)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
Soft Constraints: Complexity and Multimorphisms. CP (2003)
David A. Cohen
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. CP (2003)
Martin James Green, David A. Cohen
Tractability by Approximating Constraint Languages. CP (2003)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints. IJCAI (2003)
David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis
Building tractable disjunctive constraints. J. ACM 47 (5) (2000)
David A. Cohen, Peter Jeavons, Richard Gault
New Tractable Classes from Old. CP (2000)
Peter Jeavons, David A. Cohen, Marc Gyssens
How to Determine the Expressive Power of Constraints. Constraints An Int. J. 4 (2) (1999)
Peter Jeavons, David A. Cohen, Justin Pearson
Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Peter Jeavons, David A. Cohen, Martin C. Cooper
Constraints, Consistency and Closure. Artif. Intell. 101 (1-2) (1998)
David A. Cohen, Peter Jeavons, Manolis Koubarakis
Tractable Disjunctive Constraints. CP (1997)
Peter Jeavons, David A. Cohen, Marc Gyssens
Closure properties of constraints. J. ACM 44 (4) (1997)
David A. Cohen, Marc Gyssens, Peter Jeavons
Derivation of Constraints and Database Relations. CP (1996)
Peter Jeavons, David A. Cohen, Marc Gyssens
A test for Tractability. CP (1996)
Peter Jeavons, David A. Cohen
An Algebraic Characterization of Tractable Constraints. COCOON (1995)
Peter Jeavons, David A. Cohen, Marc Gyssens
A Unifying Framework for Tractable Constraints. CP (1995)
Peter Jeavons, David A. Cohen, Martin C. Cooper
A Substitution Operation for Constraints. PPCP (1994)
Peter Jeavons, David A. Cohen, John Shawe-Taylor
Generating binary sequences for stochastic computing. IEEE Trans. Inf. Theory 40 (3) (1994)
Marc Gyssens, Peter Jeavons, David A. Cohen
Decomposing Constraint Satisfaction Problems Using Database Techniques. Artif. Intell. 66 (1) (1994)
Martin C. Cooper, David A. Cohen, Peter Jeavons
Characterising Tractable Constraints. Artif. Intell. 65 (2) (1994)
Martin Anthony, Graham R. Brightwell, David A. Cohen, John Shawe-Taylor
On Exact Specification by Examples. COLT (1992)
David A. Cohen, Elizabeth A. Scott
Rationality of Division Orderings. Inf. Process. Lett. 44 (6) (1992)
John Shawe-Taylor, David A. Cohen
Linear programming algorithm for neural networks. Neural Networks 3 (5) (1990)
David A. Cohen, C. Mannion, John Shawe-Taylor
Transformational theory of feedforward neural networks. Neural Networks 1 (Supplement-1) (1988)