The random 2-SAT partition function

Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth +4

We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the…