Exponential Lower Bound for Static Semi-algebraic Proofs.

Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik

Browse the full ICALP paper archive.