Login / Signup
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms.
Nikhil Vyas
R. Ryan Williams
Published in:
Theory Comput. Syst. (2023)
Keyphrases
</>
lower bound
learning algorithm
objective function
search algorithm
orders of magnitude
running times
data structure
computational complexity
significant improvement
worst case
high speed
optimization problems
combinatorial optimization
branch and bound algorithm
stochastic local search