Login / Signup

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

Samuel R. BussRyan 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