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

Massimo Lauria, Jakob Nordström. Tight Size-Degree Bounds for Sums-of-Squares Proofs. Computational Complexity, 26(4):911-948, 2017. [doi]

Abstract

Abstract is missing.