不可满足子式研究

• 作者: 李欣 殷明浩
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 可满足性问题 不可满足子式 可满足模理论 局部搜索
• 年，卷（期）: 2013,（6）
• 页码范围: 497-504
• 页数: 8页
• 分类号: TP311
• 字数: 10455字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.201212058

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷明浩	东北师范大学计算机科学与信息技术学院	35	304	10.0	16.0
2	李欣	东北师范大学计算机科学与信息技术学院	5	1	1.0	1.0