10.3969/j.issn.1673-4785.201212058
不可满足子式研究
为了广泛有效地将不可满足子式应用于知识验证、产品规划、硬件和软件的设计与验证等领域,对不可满足子式进行了相关研究。对当前不可满足子式的主要相关算法进行了概述评论、分类归纳,并从计算复杂性角度介绍了其子类、参数复杂性以及QBF中的极小不可满足子式。总结了近10年来不可满足子式的理论与算法,讨论了不可满足子式的未来研究发展方向。研究有利于进一步发现不可满足的根本原因,从而进行有针对性地改进,并对相关人员的研究提供帮助。
可满足性问题、不可满足子式、可满足模理论、局部搜索
TP311(计算技术、计算机技术)
国家自然科学基金资助项目61070084,60803012.
2014-01-16(万方平台首次上网日期,不代表论文的发表时间)
共8页
497-504