Polynomial Proof Systems, Effective Derivations, and their Applications in the Sum-of-Squares Hierarchy

Benjamin Weitz. Polynomial Proof Systems, Effective Derivations, and their Applications in the Sum-of-Squares Hierarchy. PhD thesis, University of California, Berkeley, USA, 2017. [doi]

Abstract

Abstract is missing.