R.: Survey propagation: An algorithm for satisfiability. Random Structures and Algorithms 27 (2005)

by A Braunstein, M Mezard, Zecchina