基于演化算法的SAT问题求解

• 作者: 陈昊
• 来源期刊: 湖北大学学报（自然科学版）
• 学科: 工学
• 关键词: 演化计算 NP难 交叉 变异
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 138-140
• 页数: 3页
• 分类号: TP391.9
• 字数: 2337字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2375.2007.02.008

摘要

演化计算方法是近年来迅速发展起来的一种全新随机搜索和优化方法.首先介绍了演化算法的基本原理,然后给出了基于演化思想求解著名逻辑学问题--布尔可满足问题(SAT)的过程,最后分析了该方法的主要特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈昊	湖北大学数学与计算机科学学院	18	152	7.0	12.0