The critical-point equations for degree-constrained random 2-SAT
Critical-point conjecture. The phase-transition point rrr can be computed from the system