A Computer Algorithm for Minimizing Reed-Muller Canonical Forms
暂无分享,去创建一个
A computer algorithm is presented that uses geometrical operations to minimize multioutput Reed-Muller expansions of up to ten variables.
[1] John P. Robinson,et al. A Method for Modulo-2 Minimization , 1982, IEEE Transactions on Computers.
[2] Harold Fleisher,et al. Exclusive-OR Representations of Boolean Functions , 1983, IBM J. Res. Dev..
[3] Xia Chen,et al. Mapping of Reed-Muller coefficients and the minimisation of exclusive OR-switching functions , 1982 .