Limits on Alternation-Trading Proofs for Time-Space Lower Bounds.

Samuel R. Buss Ryan Williams

Published in: Computational Complexity Conference (2012)

Keyphrases

lower bound
upper bound
branch and bound

objective function
search space
branch and bound algorithm

optimal solution
search algorithm
low dimensional

vector space
integer programming
theorem proving