An Algorithm for Approximating Set Cover and Its Application on Logic Circuit Optimization | IEEE Conference Publication | IEEE Xplore