Login / Signup

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

Yacine BoufkhadOlivier Dubois
Published in: Theor. Comput. Sci. (1999)
Keyphrases
  • prime implicants
  • boolean functions
  • prime implicates
  • computational complexity
  • database
  • randomly generated