基于结构重要度开发二元决策图的排序启发式

An ordering heuristic to develop the binary decision diagram based on structural importance

• L.M. Bartlett 通讯
• John Andrews