Propositional Satisfiability in Answer-Set Programming.
Deborah EastMiroslaw TruszczynskiPublished in: KI/ÖGAI (2001)
Keyphrases
- answer set programming
- propositional satisfiability
- sat solvers
- answer sets
- logic programs
- propositional logic
- logic programming
- automated reasoning
- constraint programming
- sat problem
- industrial applications
- knowledge representation
- sat instances
- max sat
- search space
- answer set programs
- constraint satisfaction
- conjunctive normal form
- orders of magnitude
- propositional formulas
- combinatorial problems
- satisfiability problem
- artificial intelligence