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]
No references recorded for this publication.
No citations of this publication recorded.