Complexity of Semialgebraic Proofs with Restricted Degree of Falsity.

Arist Kojevnikov, Alexander S. Kulikov

Browse the full SAT paper archive.