The Minimum Equivalent DNF Problem and Shortest Implicants

Journal of Computer and System Sciences - United States
doi 10.1006/jcss.2001.1775