Comparing Beliefs, Surveys, and Random Walks

Survey propagation is a powerful technique from statistical physics that has been applied to solve the 3-SAT problem both in principle and in practice. We give, using only probability arguments, a common derivation of survey propagation, belief propagation and several interesting hybrid methods. We then present numerical experiments which use WSAT (a widely used random-walk based SAT solver) to quantify the complexity of the 3-SAT formulae as a function of their parameters, both as randomly generated and after simpli

• Type: Conference
• Year: 2004
• Where: NIPS
• Authors: Erik Aurell, Uri Gordon, Scott Kirkpatrick
• Keywords: Belief Propagation, Interesting Hybrid Methods, NIPS 2004, NIPS 2007, Survey Propagation