Propositional satisfiability in declarative programming
Deborah EastMiroslaw TruszczynskiPublished in: CoRR (2002)
Keyphrases
- propositional satisfiability
- declarative programming
- answer set programming
- sat solvers
- logic programming
- propositional logic
- constraint programming
- logic programs
- automated reasoning
- industrial applications
- sat problem
- sat instances
- stable model semantics
- answer sets
- search problems
- max sat
- knowledge representation
- expert systems
- probabilistic reasoning
- object oriented
- knowledge base
- np complete
- search space
- propositional formulas
- programming language
- information retrieval systems