The number of random 2-SAT solutions is asymptotically log-normal

Arnab Chatterjee, Amin Coja-Oghlan, Noela Müller +4

We prove that throughout the satisfiable phase, the logarithm of the number of satisfying assignments of a random 2-SAT formula satisfies a central limit theorem. This implies that…