Branching Process approach for 2-SAT thresholds

Elchanan Mossel, Arnab Sen

It is well known that, as $n$ tends to infinity, the probability of satisfiability for a random 2-SAT formula on $n$ variables, where each clause occurs independently with probabil…