Random 2-SAT: results and problems

Wenceslas Fernandez de la Vega. Random 2-SAT: results and problems. Theoretical Computer Science, 265(1-2):131-146, 2001. [doi]

Abstract

Abstract is missing.