Department of ECE, Texas AM University, College Station 77843, USAc;
机译:高效的等价 - 检查渐进式半群网关模型中程序程序的算法
机译:检查多级互连网络等效性的高效算法
机译:一种广义分区细化算法,实例化加权自动机的语言等效检查
机译:基于噪声的功能等价和Tautology检查的算法
机译:模块化设计环境中的有效等效检查。
机译:一百万个变量及更多:快速贪婪等效搜索算法用于学习高维图形因果模型并应用于功能磁共振图像
机译:检查多级互连网络等效性的高效算法