Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

Christian Drescher; Toby Walsh

doi:10.1609/aaai.v25i1.8029

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

DOI:

https://doi.org/10.1609/aaai.v25i1.8029

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. https://doi.org/10.1609/aaai.v25i1.8029