Proof Complexity Lower Bounds from Algebraic Circuit Complexity.

Michael A. Forbes Amir Shpilka Iddo Tzameret Avi Wigderson

Published in: Theory Comput. (2021)

Keyphrases

lower bound
worst case
real time
neural network
machine learning
social networks
objective function
data structure
np hard
upper bound
decision problems
average case complexity