Professor David Cohen

  1. Article › Research › Peer-reviewed
  2. Published

    The power of propagation: when GAC is enough

    Cohen, D. & Jeavons, P., Jan 2017, In: Constraints. 22, p. 3-23 21 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z., Sep 2012, In: Journal of Artificial Intelligence Research. 45, p. 47-78 3651.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Tractable Decision for a Constraint Language Implies Tractable Search

    Cohen, D. A., 2004, In: Constraints. 9, 3, p. 219-229 11 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Variable and value elimination in binary constraint satisfaction via forbidden patterns

    Cohen, D., Cooper, M., Escamocher, G. & Zivny, S., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1127–1143 17 p.

    Research output: Contribution to journalArticlepeer-review

  6. Working paper › Research
  7. Published

    Closure Properties of Constraints

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

    Research output: Working paper

  8. Published

    Constraints and Universal Algebra

    Jeavons, P. G., Cohen, D. A. & Pearson, J. K., 1998.

    Research output: Working paper

  9. Published

    Constraints, Consistency and Closure

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1997.

    Research output: Working paper

  10. Published
  11. Published

    Supermodular Functions and the Complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 1 Jan 2004.

    Research output: Working paper

  12. Published

    The expressive power of valued constraints: hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Zivný, S., 1 Apr 2007.

    Research output: Working paper

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