Keyphrases
- propositional formulas
- theorem prover
- first order logic
- cnf formula
- propositional logic
- theorem proving
- clause learning
- proof procedure
- default logic
- model checking
- equational theories
- max sat
- automated reasoning
- multi valued
- formal proofs
- np complete
- strips planning
- formal proof
- knowledge compilation
- natural deduction
- programming language
- mathematical proofs
- conjunctive normal form
- data sets
- predicate calculus
- decision procedures
- probabilistic logic
- sat problem
- inference rules
- normal form
- search space