变量序相关论文
有序二叉判定图(OBDDs)是一种表示布尔函数的高效数据结构,在形式化验证领域内有着广泛应用。它为符号模型检测算法提供实现框架,......
现有的混合结构学习算法受制于变量的邻居集,导致混合结构学习算法在约束学习阶段,若变量的邻居集没有包含真实结构的节点,该节点......
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法......
有序二元决策图（OBDD）被广泛用到网络可靠度的计算中，在基于 OBDD 计算网络可靠度时，其计算时间主要取决于参与操作的OBDD的大小，而OBDD......
