ADDMC: Weighted Model Counting with Algebraic Decision Diagrams.
Jeffrey M. DudekVu PhanMoshe Y. VardiPublished in: AAAI (2020)
Keyphrases
- weighted model counting
- algebraic decision diagrams
- factored mdps
- probabilistic inference
- bayesian inference
- model counting
- markov decision processes
- context specific
- state space
- satisfiability testing
- bayesian networks
- basis functions
- probabilistic model
- markov decision problems
- domain specific
- conditional probabilities
- graphical models
- stochastic processes
- approximate inference
- approximate dynamic programming
- machine learning
- message passing