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

From MaRDI portal
Publication:6533437