- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j23 |      | 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. (JAIR) 45: 47-78 (2012) |
| i4 | | David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivny: An Algebraic Theory of Complexity for Discrete Optimisation. CoRR abs/1207.6692 (2012) |
| 2011 | ||
| c27 | | David A. Cohen, Martin C. Cooper, Martin J. Green, Dániel Marx: On Guaranteeing Polynomially Bounded Search Tree Size. CP 2011: 160-171 |
| c26 | | David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivny: An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. MFCS 2011: 231-242 |
| i3 | | David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon: The tractability of CSP classes defined by forbidden patterns. CoRR abs/1103.1542 (2011) |
| i2 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. CoRR abs/1107.0043 (2011) |
| 2010 | ||
| j22 | | Michael D. J. Clements, David L. Dean, David A. Cohen: Supplier selected relationships: choosing friends, over family. IJMTM 19(1/2): 47-67 (2010) |
| 2009 | ||
| j21 | | Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The expressive power of binary submodular functions. Discrete Applied Mathematics 157(15): 3347-3358 (2009) |
| c25 | | David A. Cohen, Martin J. Green, Chris Houghton: Constraint Representations and Structural Tractability. CP 2009: 289-303 |
| c24 | | Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. MFCS 2009: 744-757 |
| 2008 | ||
| j20 | | Martin J. Green, David A. Cohen: Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172(8-9): 1094-1118 (2008) |
| j19 | | David A. Cohen, Peter Jeavons, Marc Gyssens: A unified theory of structural tractability for constraint satisfaction problems. J. Comput. Syst. Sci. 74(5): 721-743 (2008) |
| j18 | | 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): 36-51 (2008) |
| j17 | | David A. Cohen, Peter G. Jeavons, Stanislav Zivny: The expressive power of valued constraints: Hierarchies and collapses. Theor. Comput. Sci. 409(1): 137-153 (2008) |
| i1 | | Stanislav Zivny, David A. Cohen, Peter G. Jeavons: The Expressive Power of Binary Submodular Functions. CoRR abs/0811.1885 (2008) |
| 2007 | ||
| c23 | | David A. Cohen, Peter Jeavons, Stanislav Zivny: The Expressive Power of Valued Constraints: Hierarchies and Collapses. CP 2007: 798-805 |
| 2006 | ||
| j16 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: The complexity of soft constraint satisfaction. Artif. Intell. 170(11): 983-1016 (2006) |
| j15 | | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. Constraints 11(2-3): 115-137 (2006) |
| c22 | | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Constraint Symmetry and Solution Symmetry. AAAI 2006: 1589-1592 |
| c21 | | David A. Cohen, Martin C. Cooper, Peter Jeavons: An Algebraic Characterisation of Complexity for Valued Constraint. CP 2006: 107-121 |
| c20 | | David A. Cohen, Martin J. Green: Typed Guarded Decompositions for Constraint Satisfaction. CP 2006: 122-136 |
| c19 | | Chris Houghton, David A. Cohen, Martin J. Green: The Effect of Constraint Representation on Structural Tractability. CP 2006: 726-730 |
| c18 | | David A. Cohen, Marc Gyssens, Peter Jeavons: A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. Complexity of Constraints 2006 |
| 2005 | ||
| j14 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Supermodular functions and the complexity of MAX CSP. Discrete Applied Mathematics 149(1-3): 53-72 (2005) |
| c17 | | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith: Symmetry Definitions for Constraint Satisfaction Problems. CP 2005: 17-31 |
| c16 | | Chris Houghton, David A. Cohen: Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. CP 2005: 851 |
| c15 | | David A. Cohen, Peter Jeavons, Marc Gyssens: A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. IJCAI 2005: 72-77 |
| 2004 | ||
| j13 | | David A. Cohen: Tractable Decision for a Constraint Language Implies Tractable Search. Constraints 9(3): 219-229 (2004) |
| j12 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. (JAIR) 22: 1-22 (2004) |
| c14 | | David A. Cohen, Martin C. Cooper, Peter Jeavons: A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP 2004: 212-226 |
| c13 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Identifying Efficiently Solvable Cases of Max CSP. STACS 2004: 152-163 |
| 2003 | ||
| j11 | | David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes From Old. Constraints 8(3): 263-282 (2003) |
| c12 | | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: Soft Constraints: Complexity and Multimorphisms. CP 2003: 244-258 |
| c11 | | Martin J. Green, David A. Cohen: Tractability by Approximating Constraint Languages. CP 2003: 392-406 |
| c10 | | David A. Cohen: A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. CP 2003: 807-811 |
| c9 |  | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin: A Maximal Tractable Class of Soft Constraints. IJCAI 2003: 209-214 |
| 2000 | ||
| j10 | | David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis: Building tractable disjunctive constraints. J. ACM 47(5): 826-853 (2000) |
| c8 | | |
| 1999 | ||
| j9 | | Peter Jeavons, David A. Cohen, Marc Gyssens: How to Determine the Expressive Power of Constraints. Constraints 4(2): 113-131 (1999) |
| 1998 | ||
| j8 | | Peter Jeavons, David A. Cohen, Martin C. Cooper: Constraints, Consistency and Closure. Artif. Intell. 101(1-2): 251-265 (1998) |
| j7 | | Peter Jeavons, David A. Cohen, Justin Pearson: Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24(1-4): 51-67 (1998) |
| 1997 | ||
| j6 | | Peter Jeavons, David A. Cohen, Marc Gyssens: Closure properties of constraints. J. ACM 44(4): 527-548 (1997) |
| c7 | | David A. Cohen, Peter Jeavons, Manolis Koubarakis: Tractable Disjunctive Constraints. CP 1997: 478-490 |
| 1996 | ||
| c6 | | David A. Cohen, Marc Gyssens, Peter Jeavons: Derivation of Constraints and Database Relations. CP 1996: 134-148 |
| c5 | | |
| 1995 | ||
| c4 | | Peter Jeavons, David A. Cohen: An Algebraic Characterization of Tractable Constraints. COCOON 1995: 633-642 |
| c3 | | Peter Jeavons, David A. Cohen, Marc Gyssens: A Unifying Framework for Tractable Constraints. CP 1995: 276-291 |
| 1994 | ||
| j5 | | Martin C. Cooper, David A. Cohen, Peter Jeavons: Characterising Tractable Constraints. Artif. Intell. 65(2): 347-361 (1994) |
| j4 | | Marc Gyssens, Peter Jeavons, David A. Cohen: Decomposing Constraint Satisfaction Problems Using Database Techniques. Artif. Intell. 66(1): 57-89 (1994) |
| j3 | | Peter Jeavons, David A. Cohen, John Shawe-Taylor: Generating binary sequences for stochastic computing. IEEE Transactions on Information Theory 40(3): 716-720 (1994) |
| c2 | | Peter Jeavons, David A. Cohen, Martin C. Cooper: A Substitution Operation for Constraints. PPCP 1994: 1-9 |
| 1992 | ||
| j2 | | David A. Cohen, Elizabeth A. Scott: Rationality of Division Orderings. Inf. Process. Lett. 44(6): 307-311 (1992) |
| c1 | | Martin Anthony, Graham Brightwell, David A. Cohen, John Shawe-Taylor: On Exact Specification by Examples. COLT 1992: 311-318 |
| 1990 | ||
| j1 | | John Shawe-Taylor, David A. Cohen: Linear programming algorithm for neural networks. Neural Networks 3(5): 575-582 (1990) |
Colors in the list of coauthors
Last update Wed May 22 17:42:45 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page