Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification | IEEE Journals & Magazine | IEEE Xplore