Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.

Christian Drescher, Toby Walsh

Browse the full AAAI paper archive.