Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits.

Ruiwen Chen Valentine Kabanets

Published in: COCOON (2015)

Keyphrases

space complexity
worst case
upper bound
average case
lower bound
error bounds
learning algorithm
data structure
evolutionary algorithm
high speed
upper and lower bounds
linear constraints
generalization error bounds