Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

Authors

  • Christian Drescher NICTA and University of New South Wales
  • Toby Walsh NICTA and University of New South Wales

Abstract

We present a new approach to enhancing answer set programming (ASP) with constraint programming (CP) techniques based on conflict-driven learning and lazy nogood generation.

Downloads

Published

2011-08-04

How to Cite

Drescher, C., & Walsh, T. (2011). Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1772-1773. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/8029