Keyphrases
- propositional logic
- propositional satisfiability
- davis putnam
- satisfiability testing
- solving hard
- belief revision
- propositional formulas
- first order logic
- quantified boolean formulae
- possibilistic logic
- belief change
- sat solvers
- proof procedure
- horn logic
- lattice theory
- artificial intelligence
- combinatorial problems
- phase transition