R.C.T.: A new algorithm for generating prime implicants (1970)

by C L Chang
Venue:IEEE Trans. on Comput