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

• 作者: 夏建勋
• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: SAT问题 NP问题 演化算法
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 算法研究
• 页码范围: 14-16
• 页数: 3页
• 分类号: TP3
• 字数: 1986字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-6609.2007.03.004

摘要

SAT问题即布尔可满足性问题是逻辑学的一个基本问题,也是计算机科学和人工智能研究的核心问题.寻找求解SAT问题的快速算法不仅在理论研究上而且在许多应用领域都具有极其重要的意义.本文讨论了基于演化算法的SAT问题求解方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏建勋	孝感学院计算机科学系	10	56	4.0	7.0