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 $K$-s…