一种求解3-SAT问题的新方法

• 作者: 寇应展 王彦祺 贺毅朝
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 3-SAT问题 合取范式 PSO算法 局部搜索
• 年，卷（期）: 2006,（16）
• 所属期刊栏目: 学术探讨
• 页码范围: 70-72
• 页数: 3页
• 分类号: TP301
• 字数: 3383字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.16.023

摘要

可满足性问题(Satisfiability Problem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法.文章根据Kennedy和Eberhart提出的二进制粒子群优化算法(Binary Particle Swarm Optimizers),基于局部随机搜索策略,给出了一种求解3-SAT问题的新方法:基于局部随机搜索的改进二进制粒子群优化算法(ModifedBinary Particle Swarm Optimizers Based on local stochastic search,简称MBPSO).数值实验表明,对于随机产生的3-SAT问题测试实例,该算法是一种高效实用的新方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	寇应展	军械工程学院计算机工程系	55	351	10.0	16.0
2	贺毅朝	石家庄经济学院信息工程系	53	677	14.0	25.0
3	王彦祺	石家庄经济学院信息工程系	12	181	5.0	12.0