Sergey Nikolenko
← All publications

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity

Journal article

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

Permalink
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}
}