Alexander A. Razborov. On the Width of Semialgebraic Proofs and Algorithms. Math. Oper. Res., 42(4):1106-1134, 2017. [doi]
@article{Razborov17,
title = {On the Width of Semialgebraic Proofs and Algorithms},
author = {Alexander A. Razborov},
year = {2017},
doi = {10.1287/moor.2016.0840},
url = {https://doi.org/10.1287/moor.2016.0840},
researchr = {https://researchr.org/publication/Razborov17},
cites = {0},
citedby = {0},
journal = {Math. Oper. Res.},
volume = {42},
number = {4},
pages = {1106-1134},
}