Survey and Belief Propagation on Random K-SAT.
Alfredo BraunsteinRiccardo ZecchinaPublished in: SAT (2003)
Keyphrases
- belief propagation
- graphical models
- message passing
- markov random field
- graph cuts
- stereo matching
- approximate inference
- markov networks
- fixed point
- loopy belief propagation
- pairwise
- energy minimization
- free energy
- energy function
- search algorithm
- factor graphs
- stereo vision
- max product
- phase transition
- post processing
- semi supervised
- probabilistic model
- np hard
- preprocessing