The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David A. Cohen" ( http://dblp.L3S.de/Authors/David_A._Cohen )

URL (Homepage):  http://www.cs.rhul.ac.uk/~dave/  Author page on DBLP  Author page in RDF  Community of David A. Cohen in ASPL-2

Publication years (Num. hits)
1988-1998 (16) 1999-2005 (17) 2006-2009 (17) 2010-2015 (20) 2016-2019 (13)
Publication types (Num. hits)
article(44) incollection(1) inproceedings(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 9 keywords

Results
Found 84 publication records. Showing 83 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. Search on Bibsonomy Algorithmica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons Representing fitness landscapes by valued constraints to understand the complexity of local search. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny Binary constraint satisfaction problems defined by excluded topological minors. Search on Bibsonomy Inf. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. Search on Bibsonomy STACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin C. Cooper, Wafa Jguirim, David A. Cohen Domain Reduction for Valued Constraints by Generalising Methods from CSP. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivny Binarisation for Valued Constraint Satisfaction Problems. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1David A. Cohen, Peter G. Jeavons The power of propagation: when GAC is enough. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivny Binarisation for Valued Constraint Satisfaction Problems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones Algorithms for the workflow satisfiability problem engineered for counting constraints. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Christopher Jefferson, Karen E. Petrie A Theoretical Framework for Constraint Propagator Triggering. Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny Variable and value elimination in binary constraint satisfaction via forbidden patterns. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Jason Crampton, Andrei V. Gagarin, Gregory Z. Gutin, Mark Jones Algorithms for the workflow satisfiability problem engineered for counting constraints. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny Variable and value elimination in binary constraint satisfaction via forbidden patterns. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny Binarisation via Dualisation for Valued Constraints. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Liang Chen 0018, Tong Tong 0001, 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. Search on Bibsonomy MICCAI (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones Iterative Plan Construction for the Workflow Satisfiability Problem. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints. Search on Bibsonomy FAW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones Pattern-Based Plan Construction for the Workflow Satisfiability Problem. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny Tractable Combinations of Global Constraints. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivny An Algebraic Theory of Complexity for Discrete Optimization. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny Tractable Combinations of Global Constraints. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny Variable Elimination in Binary CSP via Forbidden Patterns. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon The Tractability of CSP Classes Defined by Forbidden Patterns. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivny An Algebraic Theory of Complexity for Discrete Optimisation Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon The tractability of CSP classes defined by forbidden patterns Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivny An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. Search on Bibsonomy MFCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx On Guaranteeing Polynomially Bounded Search Tree Size. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael D. J. Clements, David L. Dean, David A. Cohen Supplier selected relationships: choosing friends, over family. Search on Bibsonomy IJMTM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stanislav Zivny, David A. Cohen, Peter G. Jeavons The expressive power of binary submodular functions. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stanislav Zivny, David A. Cohen, Peter G. Jeavons The Expressive Power of Binary Submodular Functions. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut
1David A. Cohen, Martin James Green, Chris Houghton Constraint Representations and Structural Tractability. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin James Green, David A. Cohen Domain permutation reduction for constraint satisfaction problems. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001 Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter G. Jeavons, Stanislav Zivny The expressive power of valued constraints: Hierarchies and collapses. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Marc Gyssens A unified theory of structural tractability for constraint satisfaction problems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stanislav Zivny, David A. Cohen, Peter G. Jeavons The Expressive Power of Binary Submodular Functions Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Stanislav Zivny The Expressive Power of Valued Constraints: Hierarchies and Collapses. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001 The Complexity of Constraint Languages. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin The complexity of soft constraint satisfaction. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symmetry, Constraint satisfaction problems
1David A. Cohen, Marc Gyssens, Peter Jeavons 0001 A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Search on Bibsonomy Complexity of Constraints The full citation details ... 2006 DBLP  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Constraint Symmetry and Solution Symmetry. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1David A. Cohen, Martin James Green Typed Guarded Decompositions for Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001 An Algebraic Characterisation of Complexity for Valued Constraint. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Chris Houghton, David A. Cohen, Martin James Green The Effect of Constraint Representation on Structural Tractability. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin Supermodular functions and the complexity of MAX CSP. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Houghton, David A. Cohen Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Marc Gyssens A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Cohen Tractable Decision for a Constraint Language Implies Tractable Search. Search on Bibsonomy Constraints The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complexity, language, tractability
1David A. Cohen EA-lect: an evolutionary algorithm for constructing logical rules to predict election into Cooperstown. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin Identifying Efficiently Solvable Cases of Max CSP. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001 A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Richard Gault New Tractable Classes From Old. Search on Bibsonomy Constraints The full citation details ... 2003 DBLP  DOI  BibTeX  RDF tractable classes, disjunctive constraints, complexity, constraint satisfaction problems
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin Soft Constraints: Complexity and Multimorphisms. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David A. Cohen A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Martin James Green, David A. Cohen Tractability by Approximating Constraint Languages. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1David A. Cohen, Peter Jeavons 0001, Peter Jonsson, Manolis Koubarakis Building tractable disjunctive constraints. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF disjunctive constraints, complexity, NP-completeness, constraint satisfaction problem, relations, independence
1David A. Cohen, Peter Jeavons 0001, Richard Gault New Tractable Classes from Old. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Marc Gyssens How to Determine the Expressive Power of Constraints. Search on Bibsonomy Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Justin Pearson Constraints and Universal Algebra. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Martin C. Cooper Constraints, Consistency and Closure. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Marc Gyssens Closure properties of constraints. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF indicator problem, complexity, NP-completeness, constraint satisfaction problem
1David A. Cohen, Peter Jeavons 0001, Manolis Koubarakis Tractable Disjunctive Constraints. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Marc Gyssens, Peter Jeavons 0001 Derivation of Constraints and Database Relations. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Marc Gyssens A test for Tractability. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Marc Gyssens A Unifying Framework for Tractable Constraints. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen An Algebraic Characterization of Tractable Constraints. Search on Bibsonomy COCOON The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marc Gyssens, Peter Jeavons 0001, David A. Cohen Decomposing Constraint Satisfaction Problems Using Database Techniques. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martin C. Cooper, David A. Cohen, Peter Jeavons 0001 Characterising Tractable Constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, John Shawe-Taylor Generating binary sequences for stochastic computing. Search on Bibsonomy IEEE Trans. Information Theory The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Peter Jeavons 0001, David A. Cohen, Martin C. Cooper A Substitution Operation for Constraints. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David A. Cohen, Elizabeth A. Scott Rationality of Division Orderings. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin Anthony, Graham R. Brightwell, David A. Cohen, John Shawe-Taylor On Exact Specification by Examples. Search on Bibsonomy COLT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1John Shawe-Taylor, David A. Cohen Linear programming algorithm for neural networks. Search on Bibsonomy Neural Networks The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1David A. Cohen, C. Mannion, John Shawe-Taylor Transformational theory of feedforward neural networks. Search on Bibsonomy Neural Networks The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license