Achlioptas, D.; Kirousis, L. M.; Kranakis, E.; Krizanc, D. Rigorous results for random (\(2+p)\)-SAT. (English) Zbl 0992.68073 Theor. Comput. Sci. 265, No. 1-2, 109-129 (2001). MSC: 68Q25 PDFBibTeX XMLCite \textit{D. Achlioptas} et al., Theor. Comput. Sci. 265, No. 1--2, 109--129 (2001; Zbl 0992.68073) Full Text: DOI
Achlioptas, Dimitris; Molloy, Michael S. O.; Kirousis, Lefteris M.; Stamatiou, Yannis C.; Kranakis, Evangelos; Krizanc, Danny Random constraint satisfaction: A more accurate picture. (English) Zbl 0984.68085 Constraints 6, No. 4, 329-344 (2001). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{D. Achlioptas} et al., Constraints 6, No. 4, 329--344 (2001; Zbl 0984.68085) Full Text: DOI