Login / Signup

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

Samuel R. BussRyan Williams
Published in: Comput. Complex. (2015)
Keyphrases
  • lower bound
  • electronic commerce
  • branch and bound
  • upper bound
  • space time
  • branch and bound algorithm
  • theorem proving
  • neural network
  • objective function
  • search space