{ "id": "cond-mat/0401237", "version": "v1", "published": "2004-01-14T12:42:27.000Z", "updated": "2004-01-14T12:42:27.000Z", "title": "Message passing in random satisfiability problems", "authors": [ "Marc Mezard" ], "comment": "Talk given at NIPS 2003; 8 pages", "categories": [ "cond-mat.dis-nn", "cond-mat.stat-mech" ], "abstract": "This talk surveys the recent development of message passing procedures for solving constraint satisfaction problems. The cavity method from statistical physics provides a generalization of the belief propagation strategy that is able to deal with the clustering of solutions in these problems. It allows to derive analytic results on their phase diagrams, and offers a new algorithmic framework.", "revisions": [ { "version": "v1", "updated": "2004-01-14T12:42:27.000Z" } ], "analyses": { "keywords": [ "random satisfiability problems", "belief propagation strategy", "solving constraint satisfaction problems", "message passing procedures", "derive analytic results" ], "note": { "typesetting": "TeX", "pages": 8, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2004cond.mat..1237M" } } }