Title :
A Computer Algorithm for Minimizing Reed-Muller Canonical Forms
Author :
Fleisher, H. ; Tavel, M. ; Yeager, J.
Author_Institution :
IBM Corporation
Abstract :
A computer algorithm is presented that uses geometrical operations to minimize multioutput Reed-Muller expansions of up to ten variables.
Keywords :
Boolean hypercube; Exclusive-OR; Reed-Muller canonical form; logic minimization; Astronomy; Computational complexity; Hypercubes; Logic; Minimization methods; Physics; Boolean hypercube; Exclusive-OR; Reed-Muller canonical form; logic minimization;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1987.1676890
