A note on random 2-SAT with prescribed literal degrees
Colin Cooper, ALAN M. FRIEZE, Gregory B. Sorkin · 2002
Two classic "phase transitions" in discrete mathematics are the emergence of a giant component in a random graph as the density of edges increases, and the transition of a random 2-SAT formula from satisfiable to unsatisfiable as the density of clauses increases.