Login / Signup
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