222 citations · 454 across the 7 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
cs.CC2002★ 186 cited
Survey propagation: an algorithm for satisfiability
A. Braunstein, M. Mezard, R. Zecchina
We study the satisfiability of randomly generated formulas formed by clauses of exactly literals over Boolean variables. For a given value of the problem is known t…
cond-mat.dis-nn2002★ 15 cited
Alternative solutions to diluted p-spin models and XORSAT problems
M. Mezard, F. Ricci-Tersenghi, R. Zecchina
We derive analytical solutions for p-spin models with finite connectivity at zero temperature. These models are the statistical mechanics equivalent of p-XORSAT problems in theoret…