Conflict-driven answer set solving (2007)

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:In Proceedings IJCAI’07