A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge Feifei Ma Tian Liu Jian Zhang

Published in: CoRR (2017)

Keyphrases

np hard
learning algorithm
simulated annealing
dynamic programming
computational complexity
worst case
search space
special case
search strategy
boolean functions
randomly generated