Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
Lukas KrocAshish SabharwalBart SelmanPublished in: CPAIOR (2008)
Keyphrases
- belief propagation
- model counting
- backtrack search
- graphical models
- message passing
- markov random field
- constraint satisfaction problems
- graph cuts
- approximate inference
- constraint satisfaction
- constraint programming
- highly efficient
- stereo matching
- sat solvers
- fixed point
- branch and bound algorithm
- pairwise
- satisfiability testing
- propositional satisfiability
- polynomial size
- knowledge compilation
- search algorithm
- np complete
- np hard
- probabilistic inference
- search strategies
- orders of magnitude
- max sat