arXiv 2003-09-12 EN Threshold values of Random K-SAT from the cavity method Mertens, Stephan · Mezard, Marc · Zecchina, Riccardo
