Parallel Probabilistic Inference by Weighted Model Counting.

Giso H. Dal Alfons W. Laarman Peter J. F. Lucas

Published in: PGM (2018)

Keyphrases

weighted model counting
probabilistic inference
graphical models
bayesian networks
bayesian inference
conditional probabilities
satisfiability testing
belief networks
approximate inference
model counting
message passing
search algorithm
active learning
probabilistic model
belief propagation
exact inference