Results are presented for efficient variable ordering of Reed-Muller b
inary decision diagrams for large multioutput multilevel Boolean funct
ions. 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.