Mining Propositional Simplification Proofs for Small Validating Clauses.
Ian WehrmanAaron StumpPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- first order logic
- theorem proving
- horn clauses
- small number
- theorem prover
- data mining
- prime implicates
- propositional logic
- text mining
- data mining techniques
- association rule mining
- web mining
- propositional theories
- orders of magnitude
- mining algorithm
- background knowledge
- frequent patterns
- frequent itemsets
- proof procedure
- search space
- conjunctive normal form
- proof search
- website