Conflict-Driven Answer Set Enumeration.

Martin Gebser Benjamin Kaufmann André Neumann Torsten Schaub

Published in: LPNMR (2007)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
conflict resolution
search space
semantics of logic programs
lower bound
dynamic programming
sat solvers
fixpoint