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

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

互联网

Ordered Binary Decision Diagram ( OBDD ) is one of the most efficient tools for computing network reliability.

1有序二分决策图 ( OBDD ) 是计算网络可靠度最有效的工具之一.

互联网

Algebraic Decision Diagram ( ADD ) is a symbolic method utilized to represent Boolean function.

代数决策图 ( ADD ) 是布尔函数的一种简洁紧凑的符号描述方法.

互联网