Keyphrases
- quantified boolean formulae
- prime implicates
- propositional logic
- first order logic
- prime implicants
- propositional formulas
- symmetry breaking
- normal form
- knowledge compilation
- boolean satisfiability
- belief change
- modal logic
- desirable properties
- cnf formula
- relational databases
- quantified boolean formulas
- horn clauses
- inference rules
- search space
- theorem proving
- theorem prover
- abductive reasoning
- knowledge representation
- knowledge base
- search tree
- constraint programming
- davis putnam