VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.
Eric I. HsuSheila A. McIlraithPublished in: SAT (2009)
Keyphrases
- probabilistic inference
- graphical models
- belief networks
- weighted model counting
- bayesian networks
- influence diagrams
- message passing
- probabilistic reasoning
- context specific independence
- conditional probabilities
- search algorithm
- approximate inference
- bayesian belief networks
- search space
- np complete
- first order logic
- data sets
- variable elimination
- search strategies
- sat solvers
- decision problems
- elimination algorithm
- higher order
- dynamic programming