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

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