Correlation bounds and #SAT algorithms for small linear-size circuits.

Ruiwen Chen Valentine Kabanets

Published in: Theor. Comput. Sci. (2016)

Keyphrases

computational complexity
data structure
error bounds
significant improvement
search algorithm
computationally efficient
orders of magnitude
average case
learning algorithm
objective function
simulated annealing
theoretical guarantees
stochastic local search
mistake bound
worst case bounds