Alternation-Trading Proofs, Linear Programming, and Lower Bounds

Open in new window