Issue No.02 - February (1987 vol.36)
H. Fleisher , IBM Corporation
A computer algorithm is presented that uses geometrical operations to minimize multioutput Reed-Muller expansions of up to ten variables.
Reed-Muller canonical form, Boolean hypercube, Exclusive-OR, logic minimization
H. Fleisher, M. Tavel, J. Yeager, "A Computer Algorithm for Minimizing Reed-Muller Canonical Forms", IEEE Transactions on Computers, vol.36, no. 2, pp. 247-250, February 1987, doi:10.1109/TC.1987.1676890