On the Width of Semialgebraic Proofs and Algorithms

Alexander A. Razborov. On the Width of Semialgebraic Proofs and Algorithms. Math. Oper. Res., 42(4):1106-1134, 2017. [doi]

Abstract

Abstract is missing.