A Computer Algorithm for Minimizing Reed-Muller Canonical Forms | IEEE Journals & Magazine | IEEE Xplore