Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions. The size of OBDDs is very sensitive to variable ordering.
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。
Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions. The size of OBDDs is very sensitive to variable ordering.
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。
应用推荐