1 problem

Let random 2-iSAT formulas have clause-to-variable ratio $c$. Threshold conjecture. There is a satisfiability threshold at … The value $\frac{3}{2}$ is the one obtained in the pape…