The conflict-driven answer set solver clasp: Progress report (0)

by M Gebser, B Kaufmann, T Schaub
Venue:Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009