Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of $\#$SAT Algorithms.
Nikhil VyasRyan WilliamsPublished in: CoRR (2020)
Keyphrases
- lower bound
- orders of magnitude
- worst case
- times faster
- theoretical analysis
- stochastic local search algorithms
- learning algorithm
- upper bound
- significant improvement
- computational complexity
- high speed
- optimization problems
- search space
- error bounds
- branch and bound algorithm
- exact algorithms
- memory efficient
- np complete problems