David A. Cohen

According to our database, David A. Cohen authored at least 71 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Steepest ascent can be exponential in bounded treewidth problems.

David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace

Oper. Res. Lett., 2020

Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search.

Artem Kaznatcheev, David A. Cohen, Peter Jeavons

J. Artif. Intell. Res., 2020

Galois Connections for Patterns: An Algebra of Labelled Graphs.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2020

2019

Binary constraint satisfaction problems defined by excluded topological minors.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

Inf. Comput., 2019

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns.

Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný

Algorithmica, 2019

2018

Domain Reduction for Valued Constraints by Generalising Methods from CSP.

Martin C. Cooper, Wafa Jguirim, David A. Cohen

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Binarisation for Valued Constraint Satisfaction Problems.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný

SIAM J. Discret. Math., 2017

On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns.

Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný

CoRR, 2017

The power of propagation: when GAC is enough.

David A. Cohen, Peter G. Jeavons

Constraints An Int. J., 2017

2016

Algorithms for the workflow satisfiability problem engineered for counting constraints.

David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones

J. Comb. Optim., 2016

A Theoretical Framework for Constraint Propagator Triggering.

David A. Cohen, Christopher Jefferson, Karen E. Petrie

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

2015

Variable and value elimination in binary constraint satisfaction via forbidden patterns.

David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný

J. Comput. Syst. Sci., 2015

Identification of Cerebral Small Vessel Disease Using Multiple Instance Learning.

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 2015

Tractable Classes of Binary CSPs Defined by Excluded Topological Minors.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Binarisation via Dualisation for Valued Constraints.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Iterative Plan Construction for the Workflow Satisfiability Problem.

David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones

J. Artif. Intell. Res., 2014

Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints.

David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones

Proceedings of the Frontiers in Algorithmics - 8th International Workshop, 2014

2013

An Algebraic Theory of Complexity for Discrete Optimization.

David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný

SIAM J. Comput., 2013

Pattern-Based Plan Construction for the Workflow Satisfiability Problem.

David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones

CoRR, 2013

Variable Elimination in Binary CSP via Forbidden Patterns.

David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný

Proceedings of the IJCAI 2013, 2013

Tractable Combinations of Global Constraints.

David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný

Proceedings of the Principles and Practice of Constraint Programming, 2013

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

J. Artif. Intell. Res., 2012

An Algebraic Theory of Complexity for Discrete Optimisation

David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný

CoRR, 2012

2011

The tractability of CSP classes defined by forbidden patterns

David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon

CoRR, 2011

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.

David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

On Guaranteeing Polynomially Bounded Search Tree Size.

David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Supplier selected relationships: choosing friends, over family.

Michael D. J. Clements, David L. Dean, David A. Cohen

Int. J. Manuf. Technol. Manag., 2010

2009

The expressive power of binary submodular functions.

Stanislav Zivný, David A. Cohen, Peter G. Jeavons

Discret. Appl. Math., 2009

Constraint Representations and Structural Tractability.

David A. Cohen, Martin James Green, Chris Houghton

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

The expressive power of valued constraints: Hierarchies and collapses.

David A. Cohen, Peter G. Jeavons, Stanislav Zivný

Theor. Comput. Sci., 2008

Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms.

David A. Cohen, Martin C. Cooper, Peter Jeavons

Theor. Comput. Sci., 2008

A unified theory of structural tractability for constraint satisfaction problems.

David A. Cohen, Peter Jeavons, Marc Gyssens

J. Comput. Syst. Sci., 2008

Domain permutation reduction for constraint satisfaction problems.

Martin James Green, David A. Cohen

Artif. Intell., 2008

2006

The Complexity of Constraint Languages.

David A. Cohen, Peter Jeavons

Proceedings of the Handbook of Constraint Programming, 2006

Symmetry Definitions for Constraint Satisfaction Problems.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Constraints An Int. J., 2006

The complexity of soft constraint satisfaction.

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

Artif. Intell., 2006

A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems.

David A. Cohen, Marc Gyssens, Peter Jeavons

Proceedings of the Complexity of Constraints, 01.10. - 06.10.2006, 2006

The Effect of Constraint Representation on Structural Tractability.

Chris Houghton, David A. Cohen, Martin James Green

Proceedings of the Principles and Practice of Constraint Programming, 2006

Typed Guarded Decompositions for Constraint Satisfaction.

David A. Cohen, Martin James Green

Proceedings of the Principles and Practice of Constraint Programming, 2006

An Algebraic Characterisation of Complexity for Valued Constraint.

David A. Cohen, Martin C. Cooper, Peter Jeavons

Proceedings of the Principles and Practice of Constraint Programming, 2006

Constraint Symmetry and Solution Symmetry.

David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith

Proceedings of the Proceedings, 2006

2005

Supermodular functions and the complexity of MAX CSP.

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

Discret. Appl. Math., 2005

A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.

David A. Cohen, Peter Jeavons, Marc Gyssens

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.

Chris Houghton, David A. Cohen

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

A Maximal Tractable Class of Soft Constraints.

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

J. Artif. Intell. Res., 2004

Tractable Decision for a Constraint Language Implies Tractable Search.

David A. Cohen

Constraints An Int. J., 2004

Identifying Efficiently Solvable Cases of Max CSP.

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

Proceedings of the STACS 2004, 2004

A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.

David A. Cohen, Martin C. Cooper, Peter Jeavons

Proceedings of the Principles and Practice of Constraint Programming, 2004

EA-lect: an evolutionary algorithm for constructing logical rules to predict election into Cooperstown.

David A. Cohen

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

2003

New Tractable Classes From Old.

David A. Cohen, Peter Jeavons, Richard Gault

Constraints An Int. J., 2003

Tractability by Approximating Constraint Languages.

Martin James Green, David A. Cohen

Proceedings of the Principles and Practice of Constraint Programming, 2003

Soft Constraints: Complexity and Multimorphisms.

David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin

Proceedings of the Principles and Practice of Constraint Programming, 2003

A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.

David A. Cohen

Proceedings of the Principles and Practice of Constraint Programming, 2003

2000

Building tractable disjunctive constraints.

David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis

J. ACM, 2000

1999

How to Determine the Expressive Power of Constraints.

Peter Jeavons, David A. Cohen, Marc Gyssens

Constraints An Int. J., 1999

1998

Constraints and Universal Algebra.

Peter Jeavons, David A. Cohen, Justin Pearson

Ann. Math. Artif. Intell., 1998

Constraints, Consistency and Closure.

Peter Jeavons, David A. Cohen, Martin C. Cooper

Artif. Intell., 1998

1997

Closure properties of constraints.

Peter Jeavons, David A. Cohen, Marc Gyssens

J. ACM, 1997

Tractable Disjunctive Constraints.

David A. Cohen, Peter Jeavons, Manolis Koubarakis

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996

A test for Tractability.

Peter Jeavons, David A. Cohen, Marc Gyssens

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Derivation of Constraints and Database Relations.

David A. Cohen, Marc Gyssens, Peter Jeavons

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

A Unifying Framework for Tractable Constraints.

Peter Jeavons, David A. Cohen, Marc Gyssens

Proceedings of the Principles and Practice of Constraint Programming, 1995

An Algebraic Characterization of Tractable Constraints.

Peter Jeavons, David A. Cohen

Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995

1994

Generating binary sequences for stochastic computing.

Peter Jeavons, David A. Cohen, John Shawe-Taylor

IEEE Trans. Inf. Theory, 1994

Decomposing Constraint Satisfaction Problems Using Database Techniques.

Marc Gyssens, Peter Jeavons, David A. Cohen

Artif. Intell., 1994

Characterising Tractable Constraints.

Martin C. Cooper, David A. Cohen, Peter Jeavons

Artif. Intell., 1994

A Substitution Operation for Constraints.

Peter Jeavons, David A. Cohen, Martin C. Cooper

Proceedings of the Principles and Practice of Constraint Programming, 1994

1992

Rationality of Division Orderings.

David A. Cohen, Elizabeth A. Scott

Inf. Process. Lett., 1992

On Exact Specification by Examples.

Martin Anthony, Graham R. Brightwell, David A. Cohen, John Shawe-Taylor

Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, 1992

1990

Linear programming algorithm for neural networks.

John Shawe-Taylor, David A. Cohen

Neural Networks, 1990

1988

Transformational theory of feedforward neural networks.

David A. Cohen, C. Mannion, John Shawe-Taylor

Neural Networks, 1988