Proof Complexity Lower Bounds from Algebraic Circuit Complexity.

Michael A. Forbes Amir Shpilka Iddo Tzameret Avi Wigderson

Published in: CoRR (2016)

Keyphrases

lower bound
worst case
space complexity
upper bound
decision problems
complexity measures
data sets
genetic algorithm
search algorithm
computational cost
high speed