Comparing beliefs, surveys and random walks

Advances in Neural Information Processing Systems

Volumn , Issue , 2005, Pages

  Aurell, Erik ^a,b   Gordon, Uri ^c   Kirkpatrick, Scott ^c  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^c HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

3-SAT PROBLEMS; ALGORITHM DEVELOPMENT; BELIEF PROPAGATION; NUMERICAL EXPERIMENTS; SATISFYING ASSIGNMENTS; STATISTICAL PHYSICS; SURVEY PROPAGATION; SYMMETRY-BREAKING;

EID: 84898998239     PISSN: 10495258     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Mezard M., Parisi G. & Zecchina R.. (2002) Analytic and Algorithmic Solutions of Random Satis£ability Problems. Science, 297:812-815.
2. Mezard M. & Zecchina R. (2002) The random K-satis£ability problem: from an analytic solution to an ef£cient algorithm. Phys. Rev. E 66: 056126.
3. Braunstein A., Mezard M. & Zecchina R., "Survey propagation: An algorithm for satis£ability", arXiv:cs.CC/0212002 (2002).
4. Parisi G. (2003), On the probabilistic approach to the random satis£ability problem, Proc. SAT 2003 and arXiv:cs:CC/0308010v1 .
5. Braunstein A. and Zecchina R., (2004) Survey Propagation as Local Equilibrium Equations. arXiv:cond-mat/0312483 v5.
6. Pearl J. (1988) Probabilistic Reasoning in Intelligent Systems, 2nd Edition, Kauffmann.
7. Kirkpatrick S. & Selman B. (1994) Critical Behaviour in the Sati£ability of Random Boolean Expressions. Science 264: 1297-1301.
8. Monasson R. & Zecchina R. (1997) Statistical mechanics of the random K-Sat problem. Phys. Rev. E 56: 1357-1361.
9. Montanari A., Parisi G. & Ricci-Tersenghi F. (2003) Instability of one-step replica-symmetricbroken phase in satis£ability problems. cond-mat/0308147.
10. Papadimitriou C.H. (1991). In FOCS 1991, p. 163.
11. Selman B. & Kautz H.A. (1993) In Proc. AAAI-93 26, pp. 46-51.
12. Semerjian G. & Monasson R. (2003). Phys Rev E 67: 066103.
13. Barthel W., Hartmann A.K. & Weigt M. (2003). Phys. Rev. E 67: 066104.
14. Selman B., Kautz K. & Cohen B. (1996) Local Search Strategies for Satis£ability Testing. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 26.
15. http://www.cs.washington.edu/homes/kautz/walksat/.