Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
Lukas KrocBart SelmanAshish SabharwalPublished in: ISAIM (2008)
Keyphrases
- belief propagation
- model counting
- backtrack search
- graphical models
- message passing
- markov random field
- graph cuts
- constraint programming
- stereo matching
- constraint satisfaction problems
- constraint satisfaction
- approximate inference
- branch and bound algorithm
- fixed point
- highly efficient
- knowledge compilation
- sat solvers
- pairwise
- propositional satisfiability
- energy function
- polynomial size
- satisfiability testing
- belief networks
- probabilistic model
- exact inference
- lower bound
- optimization problems
- learning algorithm
- combinatorial problems
- search strategies
- machine learning
- higher order