ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
Fangzhen LinYuting ZhaoPublished in: AAAI/IAAI (2002)
Keyphrases
- answer sets
- sat solvers
- answer set programming
- orders of magnitude
- answer set semantics
- constraint satisfaction
- logic programs
- loop formulas
- answer set solvers
- search strategies
- search space
- normal logic programs
- answer set programs
- extended logic programs
- logic program updates
- fixpoint
- semantics of logic programs
- integrity constraints
- constraint satisfaction problems
- logic programming
- stable models