An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm.

T. H. Hu Chuan Yi Tang Richard C. T. Lee

Published in: ISA (1991)

Keyphrases

average case
theorem proving
worst case
parallel search
search space
worst case analysis
optimal solution
learning algorithm
computational complexity
combinatorial search
special case
first order logic
np hard
theoretical analysis
theorem prover