An Approximation Algorithm for #k-SAT.

Published in: STACS (2012)

Keyphrases

randomized approximation
significant improvement
dynamic programming
neural network
learning algorithm
image segmentation
optimal solution
computational complexity
k means
experimental evaluation
high accuracy
matching algorithm
randomly generated