Login / Signup
Proof Complexity Lower Bounds from Algebraic Circuit Complexity.
Michael A. Forbes
Amir Shpilka
Iddo Tzameret
Avi Wigderson
Published in:
Electron. Colloquium Comput. Complex. (2016)
Keyphrases
</>
lower bound
worst case
computational cost
objective function
computational complexity
evolutionary algorithm
upper bound
average case complexity
high speed
integer programming
upper and lower bounds
average case