Alfredo Braunstein Marc Mézard Riccardo Zecchina Survey propagation: An algorithm for satisfiability. 201-226 2005 27 Random Struct. Algorithms 2 http://dx.doi.org/10.1002/rsa.20057 db/journals/rsa/rsa27.html#BraunsteinMZ05