Login / Signup
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.
Marco Carmosino
Valentine Kabanets
Antonina Kolokolova
Igor Carboni Oliveira
Published in:
FOCS (2022)
Keyphrases
</>
lower bound
upper bound
branch and bound algorithm
objective function
branch and bound
vc dimension
floating point
lower and upper bounds
lower bounding
randomly generated problems
machine learning
evolutionary algorithm
query processing
worst case
linear programming
sample size