TY - RPRT TI - Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs AU - Albert Atserias AU - Tuomas Hakoniemi PY - 2019 UR - https://arxiv.org/abs/1811.01351 ID - 1811.01351 ER -