Answer Set Solving with Lazy Nogood Generation.
Christian DrescherToby WalshPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- counter examples
- partial solutions
- normal logic programs
- orders of magnitude
- combinatorial optimization
- branch and bound
- semantics of logic programs
- database
- loop formulas
- fixpoint
- sat solvers
- test collection
- general purpose