Arnab Chatterjee Amin Coja-Oghlan Noëla Müller Connor Riddlesden Maurice Rolvien Pavel Zakharov Haodong Zhu The number of random 2-SAT solutions is asymptotically log-normal. 2024 abs/2405.03302 CoRR https://doi.org/10.48550/arXiv.2405.03302 db/journals/corr/corr2405.html#abs-2405-03302