Keyphrases
- weighted model counting
- probabilistic inference
- graphical models
- bayesian networks
- approximate inference
- message passing
- conditional probabilities
- belief networks
- exact inference
- random variables
- orders of magnitude
- model counting
- probabilistic model
- bayesian inference
- lower bound
- belief propagation
- automated reasoning
- knowledge compilation
- knowledge base