Complexity Cores and Hard-To-Prove Formulas.

Published in: CSL (1987)

Keyphrases

polynomial hierarchy
computational complexity
databases
worst case
decision problems
memory requirements
artificial intelligence
computational cost
upper bound
document images
data exchange
space complexity
polynomial size
mathematical formulas
complexity theoretic