Professor David Cohen

  1. 1996
  2. Published

    A Test for Tractability

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996, p. 267-281.

    Research output: Contribution to conferencePaper

  3. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996.

    Research output: Working paper

  4. Published

    Derivation of Constraints and Database Relations

    Cohen, D. A., Gyssens, M. & Jeavons, P. G., 1996, p. 134-148.

    Research output: Contribution to conferencePaper

  5. Published

    Tractable Disjunctive Constraints

    Cohen, D. A., Jeavons, P. G. & Koubarakis, M., 1996, p. 478-490.

    Research output: Contribution to conferencePaper

  6. 1995
  7. Published

    A Unifying Framework for Tractable Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.

    Research output: Contribution to conferencePaper

  8. Published

    An Algebraic Characterization of Tractable Constraints

    Jeavons, P. G. & Cohen, D. A., 1995, p. 633-642.

    Research output: Contribution to conferencePaper

  9. 1994
  10. Published

    A Substitution Operation for Constraints

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1 May 1994, Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings. Borning, A. (ed.). Vol. 874. p. 1-9

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    A Structural Decomposition for Hypergraphs

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1994, Jerusalem Combinatorics ’93. Barcelo, H. & Kalai, G. (eds.). American Mathematical Society, p. 161-177 17 p. (Contemporary Mathematics; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    Characterising Tractable Constraints

    Cooper, M. C., Cohen, D. A. & Jeavons, P. G., 1994, In: Artificial Intelligence. 65, 2, p. 347-361 15 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Decomposing Constraint Satisfaction Problems Using Database Techniques

    Gyssens, M., Jeavons, P. G. & Cohen, D. A., 1994, In: Artificial Intelligence. 66, 1, p. 57-89 33 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1...3 4 5 6 7 8 Next