Professor David Cohen

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

    A Theoretical Framework for Constraint Propagator Triggering

    Cohen, D., Petrie, K. & Jefferson, C., 12 May 2016. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  3. Published

    Binarisation via Dualisation for Valued Constraints

    Cohen, D., Cooper, M., Jeavons, P. & Živný, S., Jan 2015, p. 3731-3737. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  4. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

    Cohen, D., Cooper, M. & Jguirim1, W., 23 Aug 2018, (E-pub ahead of print) p. 64-80. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  5. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011.

    Research output: Contribution to conferencePaperpeer-review

  6. Forthcoming

    Provably Pointless Propagator Calls

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

    Research output: Contribution to conferencePaperpeer-review

  7. 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

  8. Forthcoming

    The Power of Propagation: When GAC is Enough

    Cohen, D. & Jeavons, P., 6 Jun 2016, (Accepted/In press). 15 p.

    Research output: Contribution to conferencePaperpeer-review

  9. Published

    Tractable classes of binary CSPs defined by excluded topological minors

    Cohen, D., Cooper, M., Jeavons, P. & Zivny, S., 25 Jul 2015, p. 1945-1951. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  10. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

    Cohen, D., Cooper, M. C., Escamocher, G. & Zivný, S., 2013.

    Research output: Contribution to conferencePaperpeer-review

  11. Paper › Research › Not peer-reviewed
  12. Published

    A complete characterization of complexity for Boolean constraint optimization problems

    Cohen, D., Cooper, M. & Jeavons, P., 2004, p. 212-226.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 Next