A New Method of Binary Decision Diagram Variable Ordering

In this paper, how to find an optimal order using genetic algorithm is discussed. This paper also uses some variable orders found by heuristic method and random orders for population initialization,and utilizes a fast method to compute an order's fitness. The experiment results indicate that this method can find the optimal order in global scope. This method has some reference to the variable ordering of BDD and to the aPPlication of genetic algorithm.