Login / Signup
Proof Complexity Lower Bounds from Algebraic Circuit Complexity.
Michael A. Forbes
Amir Shpilka
Iddo Tzameret
Avi 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