A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge Feifei Ma Tian Liu Jian Zhang Xutong Ma

Published in: IJCAR (2018)

Keyphrases

dynamic programming
learning algorithm
probabilistic model
worst case
simulated annealing
np hard
randomly generated
computational complexity
relational databases
lower bound
search space
query answering