基于DPLL的混合遗传算法求解SAT问题

• 作者: 唐瑞雪 王晓峰 许道云
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: SAT问题 遗传算法 聚类排序选择
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 机器学习与进化计算
• 页码范围: 54-56,104
• 分类号: TP301.5|TP301.6
• 字数: 3941字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.05.015

摘要

基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类.这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派.同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率.相关的实验数据表明,本算法的性能明显优于同类算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学与信息学院	125	460	12.0	16.0
2	王晓峰	贵州大学计算机科学与信息学院	26	122	6.0	9.0
3	唐瑞雪	贵州大学计算机科学与信息学院	1	3	1.0	1.0