Login / Signup

Proof Complexity Lower Bounds from Algebraic Circuit Complexity.

Michael A. ForbesAmir ShpilkaIddo TzameretAvi Wigderson
Published in: Computational Complexity Conference (2016)
Keyphrases
  • lower bound
  • worst case
  • neural network
  • upper bound
  • data sets
  • complexity analysis
  • database
  • computational complexity
  • search space
  • special case
  • high speed
  • decision problems
  • branch and bound algorithm