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
M. Tavel, J. Yeager, H. Fleisher, "A Computer Algorithm for Minimizing Reed-Muller Canonical Forms", IEEE Transactions on Computers, vol. 36, no. , pp. 247-250, February 1987, doi:10.1109/TC.1987.1676890