Login / Signup
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.
T. H. Hu
Chuan Yi Tang
Richard C. T. Lee
Published in:
Ann. Math. Artif. Intell. (1992)
Keyphrases
</>
average case
worst case
theorem proving
competitive ratio
worst case analysis
learning algorithm
parallel search
computational complexity
term rewriting
proof procedure
probabilistic model
theoretical analysis
propositional logic
temporal logic
np hard
search space
expert systems
optimal solution
objective function