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

严晓浪;郑飞君;葛海通;杨军

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

YAN Xiao-lang;ZHENG Fei-jun;GE Hai-tong;Yang Jun

电子学报 . 2004, (8): 1233 -1235 .