Improving Algorithm for Test Pattern Generation Using Satisfiability

• 改进可满足性的测试向量生成算法