Almaini, A E A and Zhuang, N (1995) Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams. Microelectronics Journal, 26 (5). pp. 471-480. ISSN 0026 2692Full text not available from this repository. (Request a copy)
Results are reported of the use of genetic algorithms for the variable ordering problem in Reed-Muller binary decision diagrams. Tests carried out on benchmark examples and randomly generated functions are very encouraging and compare favourably with other non-exhaustive algorithms. The results show significant reduction in the number of nodes and gates for multi-level designs. The work is confined to single output fixed polarity Reed-Muller expansions: the method will be developed further to extend to other forms and to multi-outputs.
Actions (login required)