Heuristic Minimization of BDDs Using Don't Cares | IEEE Conference Publication | IEEE Xplore