Conflict-driven disjunctive answer set solving (2008)

by Christian Drescher , Martin Gebser , Torsten Grote , Benjamin Kaufmann , Arne König , Max Ostrowski , Torsten Schaub
Venue:IN KR’08, AAAI PRESS
Citations:44 - 13 self