Search the dblp DataBase
David A. Cohen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marc Gyssens , Peter Jeavons , David A. Cohen Decomposing Constraint Satisfaction Problems Using Database Techniques. [Citation Graph (3, 0)][DBLP ] Artif. Intell., 1994, v:66, n:1, pp:57-89 [Journal ] Peter Jeavons , David A. Cohen , Marc Gyssens A Unifying Framework for Tractable Constraints. [Citation Graph (2, 0)][DBLP ] CP, 1995, pp:276-291 [Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens A test for Tractability. [Citation Graph (2, 0)][DBLP ] CP, 1996, pp:267-281 [Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens Closure properties of constraints. [Citation Graph (2, 0)][DBLP ] J. ACM, 1997, v:44, n:4, pp:527-548 [Journal ] David A. Cohen , Peter Jeavons , Manolis Koubarakis Tractable Disjunctive Constraints. [Citation Graph (1, 0)][DBLP ] CP, 1997, pp:478-490 [Conf ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Constraint Symmetry and Solution Symmetry. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Peter Jeavons , David A. Cohen An Algebraic Characterization of Tractable Constraints. [Citation Graph (0, 0)][DBLP ] COCOON, 1995, pp:633-642 [Conf ] Martin Anthony , Graham Brightwell , David A. Cohen , John Shawe-Taylor On Exact Specification by Examples. [Citation Graph (0, 0)][DBLP ] COLT, 1992, pp:311-318 [Conf ] David A. Cohen A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:807-811 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:212-226 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons An Algebraic Characterisation of Complexity for Valued Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:107-121 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Soft Constraints: Complexity and Multimorphisms. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:244-258 [Conf ] David A. Cohen , Martin J. Green Typed Guarded Decompositions for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:122-136 [Conf ] David A. Cohen , Marc Gyssens , Peter Jeavons Derivation of Constraints and Database Relations. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:134-148 [Conf ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:160-171 [Conf ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:17-31 [Conf ] Martin J. Green , David A. Cohen Tractability by Approximating Constraint Languages. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:392-406 [Conf ] Chris Houghton , David A. Cohen Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:851- [Conf ] Chris Houghton , David A. Cohen , Martin J. Green The Effect of Constraint Representation on Structural Tractability. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:726-730 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:209-214 [Conf ] David A. Cohen , Peter Jeavons , Marc Gyssens A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:72-77 [Conf ] Peter Jeavons , David A. Cohen , Martin C. Cooper A Substitution Operation for Constraints. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:1-9 [Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Identifying Efficiently Solvable Cases of Max CSP. [Citation Graph (0, 0)][DBLP ] STACS, 2004, pp:152-163 [Conf ] Martin C. Cooper , David A. Cohen , Peter Jeavons Characterising Tractable Constraints. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1994, v:65, n:2, pp:347-361 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin The complexity of soft constraint satisfaction. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2006, v:170, n:11, pp:983-1016 [Journal ] Peter Jeavons , David A. Cohen , Martin C. Cooper Constraints, Consistency and Closure. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:101, n:1-2, pp:251-265 [Journal ] Peter Jeavons , David A. Cohen , Justin Pearson Constraints and Universal Algebra. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:51-67 [Journal ] Peter Jeavons , David A. Cohen , Marc Gyssens How to Determine the Expressive Power of Constraints. [Citation Graph (0, 0)][DBLP ] Constraints, 1999, v:4, n:2, pp:113-131 [Journal ] David A. Cohen Tractable Decision for a Constraint Language Implies Tractable Search. [Citation Graph (0, 0)][DBLP ] Constraints, 2004, v:9, n:3, pp:219-229 [Journal ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes From Old. [Citation Graph (0, 0)][DBLP ] Constraints, 2003, v:8, n:3, pp:263-282 [Journal ] David A. Cohen , Peter Jeavons , Christopher Jefferson , Karen E. Petrie , Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:2-3, pp:115-137 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin Supermodular functions and the complexity of MAX CSP. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 2005, v:149, n:1-3, pp:53-72 [Journal ] David A. Cohen , Elizabeth A. Scott Rationality of Division Orderings. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:44, n:6, pp:307-311 [Journal ] David A. Cohen , Peter Jeavons , Peter Jonsson , Manolis Koubarakis Building tractable disjunctive constraints. [Citation Graph (0, 0)][DBLP ] J. ACM, 2000, v:47, n:5, pp:826-853 [Journal ] David A. Cohen , Martin C. Cooper , Peter Jeavons , Andrei A. Krokhin A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:1-22 [Journal ] John Shawe-Taylor , David A. Cohen Linear programming algorithm for neural networks. [Citation Graph (0, 0)][DBLP ] Neural Networks, 1990, v:3, n:5, pp:575-582 [Journal ] Peter Jeavons , David A. Cohen , John Shawe-Taylor Generating binary sequences for stochastic computing. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Information Theory, 1994, v:40, n:3, pp:716-720 [Journal ] David A. Cohen , Peter Jeavons , Stanislav Zivný The Expressive Power of Valued Constraints: Hierarchies and Collapses. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:798-805 [Conf ] Constraint Representations and Structural Tractability. [Citation Graph (, )][DBLP ] A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. [Citation Graph (, )][DBLP ] The Expressive Power of Binary Submodular Functions. [Citation Graph (, )][DBLP ] Domain permutation reduction for constraint satisfaction problems. [Citation Graph (, )][DBLP ] The Expressive Power of Binary Submodular Functions [Citation Graph (, )][DBLP ] The expressive power of binary submodular functions. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.154secs