Slagle, J. R.; Chang, C.-L.; Lee, R. C. T. A new algorithm for generating prime implicants. (English) Zbl 0197.14601 IEEE Trans. Comput. 19, 304-310 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 15 Documents Keywords:computer science and automata PDF BibTeX XML Cite \textit{J. R. Slagle} et al., IEEE Trans. Comput. 19, 304--310 (1970; Zbl 0197.14601) Full Text: DOI