数字电路测试生成的可满足性方法研究

• Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach