Login / Signup
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.
Marco Carmosino
Valentine Kabanets
Antonina Kolokolova
Igor Carboni Oliveira
Published in:
FOCS (2021)
Keyphrases
</>
lower bound
upper bound
branch and bound algorithm
objective function
high speed
real time
computational complexity
evolutionary algorithm
special case
np hard
vc dimension
lower and upper bounds
circuit design
randomly generated problems