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 and H. Fleisher, "A Computer Algorithm for Minimizing Reed-Muller Canonical Forms," in IEEE Transactions on Computers, vol. 36, no. , pp. 247-250, 1987.