Tight Size-Degree Bounds for Sums-of-Squares Proofs.

Massimo Lauria Jakob Nordström

Published in: Computational Complexity Conference (2015)

Keyphrases

lower bound
upper bound
worst case
worst case bounds
small size
generalization error bounds
fixed size
random variables
formal proof
upper and lower bounds
error bounds
np hard
artificial intelligence
database
theorem prover
space complexity
vc dimension
expert systems
image processing
information systems
data mining