Rigorous results for random (2+p)-SAT

Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc. Rigorous results for random (2+p)-SAT. Theoretical Computer Science, 265(1-2):109-129, 2001. [doi]

Abstract

Abstract is missing.