Leveraging belief propagation, backtrack search, and statistics for model counting.
Lukas KrocAshish SabharwalBart SelmanPublished in: Ann. Oper. Res. (2011)
Keyphrases
- belief propagation
- model counting
- backtrack search
- graphical models
- message passing
- markov random field
- constraint satisfaction
- constraint programming
- stereo matching
- graph cuts
- constraint satisfaction problems
- approximate inference
- fixed point
- pairwise
- sat solvers
- highly efficient
- satisfiability testing
- propositional satisfiability
- polynomial size
- probabilistic model
- branch and bound algorithm
- energy function
- bayesian networks
- search algorithm
- expert systems
- exact inference
- belief networks
- search strategies
- industrial applications
- knowledge compilation
- special case
- information extraction
- depth map