Numerical Procedures for Boolean Function Minimization | IEEE Journals & Magazine | IEEE Xplore