Almaini, A E A, Zhuang, N, "Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams", Microelectronics Journal, 1995