OFDD based minimization of fixed polarity Reed-Muller expressions using hybrid genetic algorithms
Bernd Becker, Rolf Drechsler · 2002
We present an ordered functional decision diagram (OFDD) based method to minimize fixed polarity Reed-Muller expressions (FPRMs) for very large functions using genetic algorithms (GAs). R. Dreschsler et al. (1994) presented fast heuristic methods for FPRM minimization and compared them to several other approaches. We show that better results for large functions can be obtained if these heuristics are combined with GAs, i.e. we use hybrid GAs (HGAs). Experimental results are given to show the efficiency of the approach.>