Polynomial-time algorithms for generation of prime implicants.

Tadeusz Strzemecki Polynomial-time algorithms for generation of prime implicants. 37-63 1992 8 J. Complexity 1 http://dx.doi.org/10.1016/0885-064X(92)90033-8 db/journals/jc/jc8.html#Strzemecki92