可满足性搜索问题相关硕士博士期刊学术论文

现代数字集成电路技术的飞速发展,对计算机辅助测试提出更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试......