Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Yuliya LierlerMarco MarateaPublished 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