Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.

Yuliya Lierler Marco Maratea

Published in: Answer Set Programming (2003)

Keyphrases

answer sets
logic programs
answer set solvers
answer set programming
sat solvers

logic programming
answer set semantics
answer set programs
extended logic programs
normal logic programs

logic program updates
search space
fixpoint
stable models
loop formulas

counter examples
search algorithm
stable model semantics
orders of magnitude
constraint satisfaction problems