A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed.

• 提出了一种新的动态启发式二叉判定图(BDD)最小化算法.