ML Anthology
Authors
Search
About
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