Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms.

Nikhil Vyas R. Ryan Williams

Published in: STACS (2020)

Keyphrases

lower bound
upper bound
worst case
theoretical analysis
learning algorithm
upper and lower bounds
online algorithms
stochastic local search algorithms
np hard
high speed
times faster
lower and upper bounds
theoretical guarantees