The minimum equivalent DNF problem and shortest implicants | IEEE Conference Publication | IEEE Xplore