clasp: A conflict-driven answer set solver (0)

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:in: Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07), Lecture Notes in Artificial Intelligence