Hardness Amplification in Proof Complexity.

Paul Beame Trinh Huynh

Published in: Electron. Colloquium Comput. Complex. (2009)

Keyphrases

computational complexity
worst case
np hardness
learning theory
theorem proving
multiscale
np hard
memory requirements
theorem prover
real time
databases
neural network
conjunctive query containment