Survey propagation: An algorithm for satisfiability — scholarly article by Alfredo Braunstein et al published 2005 in Random Structures and Algorithms