Login / Signup
Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity.
Rahul Santhanam
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
lower bound
worst case
upper bound
lower and upper bounds
branch and bound
objective function
branch and bound algorithm
computational cost
np hard
computational complexity
complexity analysis
polynomial hierarchy
online learning
special case
data sets
competitive ratio
average case complexity