| 2019 | CP | Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. | Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
| 2018 | CP | Domain Reduction for Valued Constraints by Generalising Methods from CSP. | Martin C. Cooper, Wafa Jguirim, David A. Cohen |
| 2018 | STACS | On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. | Clment Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivn |
| 2016 | SoCS | A Theoretical Framework for Constraint Propagator Triggering. | David A. Cohen, Christopher Jefferson, Karen E. Petrie |
| 2015 | AAAI | Binarisation via Dualisation for Valued Constraints. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2015 | IJCAI | Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2015 | MICCAI | 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 |
| 2014 | FAW | Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints. | David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones |
| 2013 | CP | Tractable Combinations of Global Constraints. | David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivn |
| 2013 | IJCAI | Variable Elimination in Binary CSP via Forbidden Patterns. | David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivn |
| 2011 | CP | On Guaranteeing Polynomially Bounded Search Tree Size. | David A. Cohen, Martin C. Cooper, Martin James Green, Dniel Marx |
| 2011 | MFCS | An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. | David A. Cohen, Pid Creed, Peter G. Jeavons, Stanislav Zivn |
| 2009 | CP | Constraint Representations and Structural Tractability. | David A. Cohen, Martin James Green, Chris Houghton |
| 2009 | MFCS | The Expressive Power of Binary Submodular Functions. | Stanislav Zivn, David A. Cohen, Peter G. Jeavons |
| 2007 | CP | The Expressive Power of Valued Constraints: Hierarchies and Collapses. | David A. Cohen, Peter Jeavons, Stanislav Zivn |
| 2006 | AAAI | Constraint Symmetry and Solution Symmetry. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2006 | CP | An Algebraic Characterisation of Complexity for Valued Constraint. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2006 | CP | Typed Guarded Decompositions for Constraint Satisfaction. | David A. Cohen, Martin James Green |
| 2006 | CP | The Effect of Constraint Representation on Structural Tractability. | Chris Houghton, David A. Cohen, Martin James Green |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | CP | Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. | Chris Houghton, David A. Cohen |
| 2005 | IJCAI | A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. | David A. Cohen, Peter Jeavons, Marc Gyssens |
| 2004 | CEC | EA-lect: an evolutionary algorithm for constructing logical rules to predict election into Cooperstown. | David A. Cohen |
| 2004 | CP | A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2004 | STACS | Identifying Efficiently Solvable Cases of Max CSP. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | CP | A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. | David A. Cohen |
| 2003 | CP | Soft Constraints: Complexity and Multimorphisms. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | CP | Tractability by Approximating Constraint Languages. | Martin James Green, David A. Cohen |
| 2003 | IJCAI | A Maximal Tractable Class of Soft Constraints. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2000 | CP | New Tractable Classes from Old. | David A. Cohen, Peter Jeavons, Richard Gault |
| 1997 | CP | Tractable Disjunctive Constraints. | David A. Cohen, Peter Jeavons, Manolis Koubarakis |
| 1996 | CP | Derivation of Constraints and Database Relations. | David A. Cohen, Marc Gyssens, Peter Jeavons |
| 1996 | CP | A test for Tractability. | Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1995 | COCOON | An Algebraic Characterization of Tractable Constraints. | Peter Jeavons, David A. Cohen |
| 1995 | CP | A Unifying Framework for Tractable Constraints. | Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1992 | COLT | On Exact Specification by Examples. | Martin Anthony, Graham R. Brightwell, David A. Cohen, John Shawe-Taylor |