Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs.

Albert Atserias Tuomas Hakoniemi

Published in: Computational Complexity Conference (2019)

Keyphrases

trade off
theorem proving
scales linearly
database
data mining
image processing
database systems
bayesian networks
probabilistic model
random variables
hough transform
maximum number
window size
formal proofs