可满足性问题全部解的求解算法

• 作者: 单美静 毕忠勤 陈光喜
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 可满足性问题 局部搜索 多项式扩展 自动求解
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 博士论坛
• 页码范围: 35-37
• 页数: 3页
• 分类号: TP391
• 字数: 3358字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.03.009

摘要

SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究.利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT 问题所有解的算法.实验结果显示该算法是有效和可行的

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毕忠勤	华东师范大学上海市高可信计算重点实验室	5	13	2.0	3.0
2	陈光喜	桂林电子科技大学数学与计算科学学院	82	455	12.0	16.0
3	单美静	华东师范大学上海市高可信计算重点实验室	5	6	1.0	2.0