有序二叉判定图论文

OBDDs变量序的遗传算法求解策略
论文摘要有序二叉判定图(OBDDs)是一种表示布尔函数的高效数据结构,在形式化验证领域内有着广泛应用。它为符号模型检测算法提供实现框架,使得模型检测中的状态空间爆炸问题得以缓解...