Fast Boolean Minimizer for Completely Specified Functions | IEEE Conference Publication | IEEE Xplore