Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation.

Richard Statman

Published in: SIAM J. Comput. (1980)

Keyphrases

lower bound
upper bound
inference rules
objective function
input data
first order logic
theorem proving
worst case
branch and bound algorithm
lower and upper bounds
data sets
branch and bound
upper and lower bounds
online learning
low resolution
modal logic