Drescher, Christian

2 publications

AAAI 2011 Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation Christian Drescher, Toby Walsh
IJCAI 2011 Translation-Based Constraint Answer Set Solving Christian Drescher, Toby Walsh