论文部分内容阅读
自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极小不可满足问题以及提取不可满足问题核的各种算法进行了回顾,并重点分析了怎样利用可满足问题的完全算法求解过程中产生的分解图来进行提取不可满足核的算法.