Centrality Heuristics for Exact Model Counting.

Bernhard Bliem Matti Järvisalo

Published in: ICTAI (2019)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
probabilistic inference
satisfiability testing
search algorithm
heuristic search
learning algorithm
bayesian inference