David A. Cohen

87 papers A* 7A 22B 4Misc 2Journal 47Unranked 4

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