Multiple Design Error Diagnosis Using Boolean Satisfiability

• 基于布尔可满足性的电路设计错误诊断算法