Albert-Ludwigs-Universit#x00E4;
t Freiburg, Germanyc;
机译:使用基于SUMS的量化布尔公式的产品和产物和局部逻辑合成
机译:用于等效性检查和功能属性验证的强大布尔推理
机译:使用布尔表达式图对组合电路进行等效检查
机译:使用依赖性量化布尔公式的部分设计的等价检查
机译:模块化设计环境中的有效等效检查。
机译:通过迭代CTL模型检查逼近布尔网络的吸引子
机译:用于量化布尔公式的Davis-putnam程序中的部分隐式展开
机译:使用偏序顺序依赖的线性编程死锁检查