Length of Prime Implicants and Number of Solutions of Random CNF Formulae

Yacine Boufkhad, Olivier Dubois. Length of Prime Implicants and Number of Solutions of Random CNF Formulae. Theoretical Computer Science, 215(1-2):1-30, 1999. [doi]

Abstract

Abstract is missing.