Complete Convergence of Message Passing Algorithms for Some Satisfiability Problems.

Uriel Feige Elchanan Mossel Dan Vilenchik

Published in: Theory Comput. (2013)

Keyphrases

message passing
satisfiability problem
sum product algorithm
belief propagation
inference in graphical models
np complete
orders of magnitude
factor graphs
probabilistic inference
stochastic local search
matrix multiplication
high resolution
markov random field
loopy belief propagation
max product