On the Bit Complexity of Sum-of-Squares Proofs.

Prasad Raghavendra Benjamin Weitz

Published in: CoRR (2017)

Keyphrases

data mining
information systems
space complexity
machine learning
decision problems
theorem prover
complexity analysis