On the Interpolation between Product-Based Message Passing Heuristics for SAT.
Oliver GableskePublished in: SAT (2013)
Keyphrases
- message passing
- belief propagation
- stochastic local search algorithms
- search algorithm
- distributed systems
- probabilistic inference
- propositional satisfiability
- factor graphs
- shared memory
- inference in graphical models
- satisfiability problem
- graphical models
- approximate inference
- heuristic search
- markov random field
- sat solvers
- image processing
- sat problem
- sum product algorithm
- sum product
- distributed shared memory
- motion estimation
- constraint programming
- post processing
- ldpc codes
- probability distribution
- max product
- phase transition