Conflict-Driven Answer Set Solving.

Martin Gebser Benjamin Kaufmann André Neumann Torsten Schaub

Published in: IJCAI (2007)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
combinatorial optimization
conflict resolution
stable models
loop formulas
optimal solution
evolutionary algorithm
dynamic programming
expressive power