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 ) 是计算网络可靠度最有效的工具之一.

互联网

A new algorithm of computing network reliability by using binary decision diagrams ( BDD ) is presented.

在已有结果的基础上,提出了一种利用二元判决图 计算网络 可靠度的方法.

互联网

Ordered binary decision diagrams ( OBDDs ) are a data structure for efficient representation manipulation of Boolean functions.

有序二叉决策图 ( OBDD ) 是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序.

互联网