Alternation-Trading Proofs, Linear Programming, and Lower Bounds.

Ryan Williams

Browse the full STACS paper archive.