What is answer set programming to propositional satisfiability.
Yuliya LierlerPublished in: Constraints An Int. J. (2017)
Keyphrases
- answer set programming
- propositional satisfiability
- sat solvers
- answer sets
- propositional logic
- logic programs
- logic programming
- automated reasoning
- constraint programming
- industrial applications
- answer set programs
- sat problem
- knowledge representation
- max sat
- sat instances
- propositional formulas
- search strategies
- stochastic local search
- knowledge base
- first order logic
- orders of magnitude
- conjunctive normal form