On the concentration of the number of solutions of random satisfiability formulas

Emmanuel Abbe, Andrea Montanari

Let $Z(F)$ be the number of solutions of a random $k$-satisfiability formula $F$ with $n$ variables and clause density $\alpha$. Assume that the probability that $F$ is unsatisfiable is…