AAAI Publications, Twenty-Fifth AAAI Conference on Artificial Intelligence

Font Size: 
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation
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