Lower Bounds for the Complexity of Theories.

Kevin J. Compton

Published in: Bull. EATCS (1991)

Keyphrases

lower bound
worst case
upper bound
computational cost
objective function
branch and bound algorithm
branch and bound
complexity measures
artificial intelligence
decision problems
complexity analysis
upper and lower bounds
database
neural network
np hard
average case complexity