The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David A. Cohen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Peter Jeavons, David A. Cohen, Marc Gyssens
    A Unifying Framework for Tractable Constraints. [Citation Graph (2, 0)][DBLP]
    CP, 1995, pp:276-291 [Conf]
  3. Peter Jeavons, David A. Cohen, Marc Gyssens
    A test for Tractability. [Citation Graph (2, 0)][DBLP]
    CP, 1996, pp:267-281 [Conf]
  4. 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]
  5. David A. Cohen, Peter Jeavons, Manolis Koubarakis
    Tractable Disjunctive Constraints. [Citation Graph (1, 0)][DBLP]
    CP, 1997, pp:478-490 [Conf]
  6. 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]
  7. Peter Jeavons, David A. Cohen
    An Algebraic Characterization of Tractable Constraints. [Citation Graph (0, 0)][DBLP]
    COCOON, 1995, pp:633-642 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. David A. Cohen, Martin J. Green
    Typed Guarded Decompositions for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:122-136 [Conf]
  14. David A. Cohen, Marc Gyssens, Peter Jeavons
    Derivation of Constraints and Database Relations. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:134-148 [Conf]
  15. David A. Cohen, Peter Jeavons, Richard Gault
    New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:160-171 [Conf]
  16. 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]
  17. Martin J. Green, David A. Cohen
    Tractability by Approximating Constraint Languages. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:392-406 [Conf]
  18. Chris Houghton, David A. Cohen
    Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:851- [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Peter Jeavons, David A. Cohen, Martin C. Cooper
    A Substitution Operation for Constraints. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:1-9 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]

  39. Constraint Representations and Structural Tractability. [Citation Graph (, )][DBLP]


  40. A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]


  41. The Expressive Power of Binary Submodular Functions. [Citation Graph (, )][DBLP]


  42. Domain permutation reduction for constraint satisfaction problems. [Citation Graph (, )][DBLP]


  43. The Expressive Power of Binary Submodular Functions [Citation Graph (, )][DBLP]


  44. The expressive power of binary submodular functions. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.154secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002