Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

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