TY - RPRT TI - Alternation-Trading Proofs, Linear Programming, and Lower Bounds AU - Ryan Williams PY - 2010 UR - https://arxiv.org/abs/1001.0746 ID - 1001.0746 ER -