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:25 - 9 self