A Lower-Bound for Answer Set Solver Computation.
Stefania CostantiniAlessandro ProvettiPublished in: LA-NMR (2009)
Keyphrases
- answer sets
- lower bound
- logic programs
- answer set programming
- upper bound
- logic programming
- answer set semantics
- branch and bound algorithm
- fixpoint
- normal logic programs
- branch and bound
- answer set programs
- optimal solution
- sufficiently accurate
- loop formulas
- database
- constraint satisfaction
- dynamic programming
- np hard
- expert systems
- stable models
- database systems
- counter examples
- machine learning