Don’t-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration | IEEE Conference Publication | IEEE Xplore