Exponential lower bound for static semi−algebraic proofs
Dima Grigoriev‚ Edward A. Hirsch and Dmitrii Pasechnik
Address
Berlin
Book Title
Automata‚ languages and programming
MR Number
MR2062463
Pages
257–268
Publisher
Springer
Series
Lecture Notes in Comput. Sci.
Volume
2380
Year
2002