A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms | IEEE Conference Publication | IEEE Xplore