A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge Feifei Ma Tian Liu Jian Zhang Xutong Ma

Published in: PRUV@IJCAR (2018)

Keyphrases

dynamic programming
learning algorithm
probabilistic model
objective function
np hard
optimal solution
search space
computational complexity
natural language processing
worst case