Complexity of Semialgebraic Proofs with Restricted Degree of Falsity
E.A. Hirsch, A. Kojevnikov, A.S. Kulikov, S.I. Nikolenko
Journal of Satisfiability · pp. 53–69 · 2008
@article{hirsch2008_685,
author = {Hirsch, Edward A. and Kojevnikov, Arist and Kulikov, Alexander S. and Nikolenko, Sergey I.},
title = {{Complexity of Semialgebraic Proofs with Restricted Degree of Falsity}},
year = {2008},
journal = {Journal of Satisfiability},
pages = {53--69},
url = {https://cms.sergeynikolenko.ru/uploads/HKKN_08_dgf_32c2e17acb.pdf}
}