C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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