The random 2-SAT partition function - Dimitris Achlioptas; et al. (2020)