Fabrizio Altarelli Rémi Monasson Guilhem Semerjian Francesco Zamponi Connections to Statistical Physics. 569-611 2009 Handbook of Satisfiability http://dx.doi.org/10.3233/978-1-58603-929-5-569 series/faia/2009-185 db/series/faia/faia185.html#AltarelliMSZ09