Conflict-Driven Answer Set Solving: From Theory to Practice
answer set programming and plan generation .