可满足性问题的研究综述

• 作者: 江国红 王建新 管利娜
• 来源期刊: 计算技术与自动化
• 关键词: 可满足性问题 NP完全问题 参数计算
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 综述
• 页码范围: 138-143
• 页数: 6页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2009.04.036

摘要

对SAT问题及其各种约束子问题进行分类并给出具体定义,着重介绍常规SAT问题、最大可满足性问题(MAX-SAT)和参数化SAT问题的相关算法,并对参数算法中运用的技术进行分析和比较,提出一些SAT问题研究中值得关注的几个方面.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王建新	中南大学信息科学与工程学院	371	3185	23.0	39.0
2	江国红	中南大学信息科学与工程学院	3	15	2.0	3.0
3	管利娜	中南大学信息科学与工程学院	1	10	1.0	1.0