Minimisation of multioutput Reed-Mullerbinary decision diagrams using hybrid genetic algorithm

Abstract

Results are presented for efficient variable ordering of Reed-Muller binary decision diagrams for large multioutput multilevel Boolean functions. A hybrid genetic algorithm which combines genetic and heuristic techniques is employed. Test results are given for benchmark examples of up to 128 inputs and 109 outputs.