Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation

Christian Drescher; Toby Walsh

AAAI Publications, Twenty-Fifth AAAI Conference on Artificial Intelligence

Christian Drescher, Toby Walsh

Last modified: 2011-08-04

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.

Full Text: PDF