Journal of Statistical Mechanics Theory and Experiment · 2005 · 117 citations · 14 references
ComputingComputer ScienceMathematicsAlgorithmsMessage PassingOptimizationDynamic ProgrammingProbabilistic CombinatoricsBelief PropagationBoolean SatisfiabilityBoolean Satisfiability ProblemMessage-passing AlgorithmsSatisfiabilitySatisfiability Problem
We propose a modified belief propagation algorithm, with over-relaxed dynamics. Such an algorithm turns out to be generally more stable and faster than ordinary belief propagation. We characterize the performance of the algorithm, employed as a tool for combinatorial optimization, on the random satisfiability problem. Moreover, we trace a connection with a recently proposed double-loop algorithm for minimizing Bethe and Kikuchi free energies.
14
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
S. F. Edwards, Philip W. Anderson · Journal of Physics F Metal Physics · 1975 · 4K citations
A Theory of Cooperative Phenomena
Ryoichi Kikuchi · Physical Review · 1951 · 1.9K citations
Analytic and Algorithmic Solution of Random Satisfiability Problems
Marc Mézard, Giorgio Parisi, Riccardo Zecchina · Science · 2002 · 1.1K citations · Full text