Login / Signup
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