Conflict-driven answer set solving (2007)

by Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub
Venue:in Proceedings IJCAI’07
Citations:124 - 38 self