Logic gates; Debugging; Computer architecture; Adders; Generators; Task analysis; Architecture;
机译:部分代数和可满足性的复杂性以及分布格,布尔代数和Heyting代数的通用理论
机译:使用布尔可满足性进行故障诊断和逻辑调试
机译:基于增量可满足性计数的实时系统自动调试
机译:组合符号计算机代数和布尔满可靠性,用于复杂乘法器的自动调试和修复
机译:大规模并行布尔可满足性蕴涵电路的复杂性分析。
机译:建立一个符号计算机代数工具箱以计算极坐标中的2D傅立叶变换
机译:使用布尔可满足性的故障诊断和逻辑调试
机译:数字计算机符号设计的布尔转换