结合二叉判决图和布尔可满足性的等价性验证算法

PDF(265 KB)

电子学报 ›› 2004, Vol. 32 ›› Issue (8) : 1233-1235.

论文

作者信息 +

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2004, 32(8): 1233-1235.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2004, 32(8): 1233-1235.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(265 KB)

Accesses

Citation

Detail

国家自然科学基金(No.90207002)

段落导航