本文对BDD的构造算法进行了分析和改进，给出了BDD包中构造BDD的算法，并分析了该算法存在的问题及相应的改进技术，提出了自己的改......

本文在Friedman等人提出的一种寻找最优变量序的算法的基础上将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中，提出了一......

二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......

二叉判定图(BDD)是描述布尔函数或组合逻辑电路的一种数据结构，广泛应用于形式验证领域，包括组合逻辑电路、时序逻辑电路，以及等价性......

Java Beans是一种组件标准.该文定义了JBDL(Java Beans description language)语言,用于描述组件语义约束规范.为了检测Java Beans......