Variable Ordering for TBDD Based on Genetic Algorithm

龙望宁,杨士元,闵应骅,童诗白
DOI: https://doi.org/10.3321/j.issn:0372-2112.1998.05.001
1998-01-01
Tien Tzu Hsueh Pao/Acta Electronica Sinica
Abstract:An approach of variable ordering for TBDD, based on genetic algorithm is presented. The fitness is calculated based on the short time scaling merit and the size of TBDD. The template ordering crossover (TOC) is proposed as an efficient crossover method which is suitable for variable ordering of TBDD. Adaptive calculation of mutation probability is adopted and a mutation algorithm is proposed. Experimental results show that this method is efficient.
What problem does this paper attempt to address?