On the Width of Semi-Algebraic Proofs and Algorithms

Alexander A. Razborov. On the Width of Semi-Algebraic Proofs and Algorithms. Electronic Colloquium on Computational Complexity (ECCC), 23:10, 2016. [doi]

Abstract

Abstract is missing.