论文部分内容阅读
为了广泛有效地将不可满足子式应用于知识验证、产品规划、硬件和软件的设计与验证等领域，对不可满足子式进行了相关研究．对当前不可满足子式的主要相关算法进行了概述评论、分类归纳，并从计算复杂性角度介绍了其子类、参数复杂性以及QBF中的极小不可满足子式．总结了近10年来不可满足子式的理论与算法，讨论了不可满足子式的未来研究发展方向．研究有利于进一步发现不可满足的根本原因，从而进行有针对性地改进，并对相关人员的研究提供帮助．