Keyphrases
- propositional logic
- satisfiability testing
- cnf formula
- propositional theories
- satisfiability problem
- first order logic
- propositional formulas
- conjunctive normal form
- belief revision
- default logic
- logic programs
- np complete
- propositional satisfiability
- boolean formula
- davis putnam logemann loveland
- computational complexity
- strips planning
- social context
- normal form