OR-Parallellism in Theorem Proving: Speedups versus Timeout.
F. BuffoliG. Degli AntoniA. MarchesePublished in: Bull. EATCS (1995)
Keyphrases
- theorem proving
- first order logic
- orders of magnitude
- decision procedures
- proof planning
- inference rules
- automatic programming
- automated reasoning
- term rewriting
- automated deduction
- consequence finding
- theorem prover
- automated theorem proving
- parallel search
- logical inference
- geometry theorem proving
- proof procedure
- propositional logic
- natural deduction
- combinatorial search
- satisfiability problem
- data mining