Статья в журнале
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity
E.A. Hirsch, A. Kojevnikov, A.S. Kulikov, S.I. Nikolenko
Journal of Satisfiability · с. 53–69 · 2008
BibTeX
@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://sergeynikolenko.ru/papers/685}
}