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

• Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking