Fast and Flexible Probabilistic Model Counting.

Dimitris Achlioptas Zayd Hammoudeh Panos Theodoropoulos

Published in: SAT (2018)

Keyphrases

model counting
weighted model counting
bayesian networks
probabilistic model
knowledge compilation
machine learning
expert systems
learning algorithm
knowledge base
special case
belief networks
bayesian inference
uniform distribution
probabilistic reasoning
polynomial size