Sciweavers

Share
NIPS
2004

Comparing Beliefs, Surveys, and Random Walks

9 years 24 days ago
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
Erik Aurell, Uri Gordon, Scott Kirkpatrick
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where NIPS
Authors Erik Aurell, Uri Gordon, Scott Kirkpatrick
Comments (0)
books