222 citations · 446 across the 5 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2003★ 5 cited
Threshold values of Random K-SAT from the cavity method
Stephan Mertens, Marc Mezard, Riccardo Zecchina
Using the cavity equations of \cite{mezard:parisi:zecchina:02,mezard:zecchina:02}, we derive the various threshold values for the number of clauses per variable of the random -s…
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…