Computing prime implicants via transversal clauses

References

• Chandra , A.K. and Markowsky , G. 1978 . On the number of prime implicants . Discrete Mathematics , 24
   Google Scholar
• Kean , A. and Tsikinis , G. 1990 . An incremental method for generating prime implicants/implicates . J. Symb. Comp , 9 : 185 – 206 .
   Google Scholar
• Slagle , J.R. , Chang , C.L. and Lee , R.C.T. 1990 . A new algorithm for generating prime implicants . IEEE Trans. on Computers , C-19 ( ) : 304 – 310 .
   Google Scholar
• Socher , R. 1991 . Optimizing the clausal normal form transformation . J. Auto. Reas , 7 ( ) : 325 – 336 .
   Google Scholar
• Tison , P. 1967 . Generalized consensus theory and application to the minization of Boolean functions . IEEE Trans, on Electronic Computers , EC-16 ( ) : 446 – 456 .
   Google Scholar
• Tsiknis , G. and Kean , A. 1988 . “ Clause management systems ” . In TR88-21, Department of Computer Science , Univ. of BritishColumbia .
   Google Scholar