Professor David Cohen

  1. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D., Cooper, M. & Živný, S., Apr 2019, In: Algorithmica. 81, 4, p. 1699–1727 29 p.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    Parameterized Complexity of the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gutin, Z. & Wahlstrom, M., 2017, Combinatorial Optimization and Graph Algorithms. Fukunaga, T. & Kawarabayashi, K. (eds.). Springer-Verlag, p. 101-120 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Forthcoming

    Provably Pointless Propagator Calls

    Cohen, D., Jefferson, C. & Petrie, K., 5 Jul 2015, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  4. Published

    Rationality of division orderings

    Cohen, D. & Scott, E., 1992, In: Information Processing Letters. p. 307-311

    Research output: Contribution to journalArticlepeer-review

  5. E-pub ahead of print

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 23 Sep 2019, (E-pub ahead of print) p. 300-316. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  6. Published

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 29 Nov 2020, In: Journal of Artificial Intelligence Research. 69, p. 1077-1102 26 p., 12156.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Soft constraints: complexity and multimorphsims

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2003, p. 244-258.

    Research output: Contribution to conferencePaper

  8. Published
  9. Published

    Steepest ascent can be exponential in bounded treewidth problems

    Cohen, D. A., Cooper, M. C., Kaznatcheev, A. & Wallace, M., May 2020, In: Operations Research Letters. 48, 3, p. 217-224 8 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Supermodular functions and the complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2005, In: Discrete Applied Mathematics. 149, p. 53-72 20 p.

    Research output: Contribution to journalArticlepeer-review