TY - RPRT TI - Survey propagation: an algorithm for satisfiability AU - A. Braunstein AU - M. Mezard AU - R. Zecchina PY - 2006 UR - https://arxiv.org/abs/cs/0212002 ID - cs/0212002 ER -