Length of prime implicants and number of solutions of random CNF formulae
scientific article; zbMATH DE number 1281070