可满足性求解技术研究

• 作者: 张建民 李思昆 沈胜宇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 布尔可满足问题 可满足性模理论问题 完全方法 不完全方法
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 算法研究
• 页码范围: 50-54
• 页数: 5页
• 分类号: TP301
• 字数: 6103字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.01.015

摘要

求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热点.本文针对命题公式与一阶公式的可满足性问题,重点介绍了布尔可满足性与可满足性模理论求解技术的基本原理,并且根据算法的类型进行分类阐述,分析了各种算法的优缺点.最后,讨论了目前面临的主要挑战,对今后的研究方向进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
2	张建民	国防科学技术大学计算机学院	10	26	3.0	4.0
3	沈胜宇	国防科学技术大学计算机学院	8	30	3.0	5.0