Advanced conflict-driven disjunctive answer set solving (2013)

by Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Venue:In IJCAI