R. Drechsler et B. Becker, SYMPATHY - FAST EXACT MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(1), 1997, pp. 1-5
In this paper, a polynomial time algorithm for the minimization of fix
ed polarity Reed-Muller expressions (FPRM's) for totally symmetric fun
ctions based on ordered functional decision diagrams (OFDD's) is prese
nted, A generalization to partially symmetric functions is investigate
d, The algorithm has been implemented as the program Sympathy, Experim
ental results in comparison to previously published methods are given
to show the efficiency of the approach.