An application of genetic algorithms to the ROBDD optimization

Reduced-order binary decision diagrams (ROBDDs) are compact data structures used for representing logic functions. The ROBDD size is very sensitive to the chosen variable ordering of the logical function. In this work, a methodology based on genetic algorithms (GAs) for optimizing ROBDDs is proposed. The experimental results found are studied and compared with those obtained using a conventional optimization methodology