Prime Implicants, Minimum Covers, and the Complexity of Logic SimplificationCurt McMullenJ. Shearer1986IEEE TC