期刊文献+

基于演化算法的SAT问题求解 被引量:3

Solving the SAT problem based on evolutionary algorithm
下载PDF
导出
摘要 演化计算方法是近年来迅速发展起来的一种全新随机搜索和优化方法.首先介绍了演化算法的基本原理,然后给出了基于演化思想求解著名逻辑学问题——布尔可满足问题(SAT)的过程,最后分析了该方法的主要特点. Evolutionary algorithm is a novel random search and optimization method in recent years. Firstly the basic principle of evolutionary algorithm is introduced, then the processes of solving the famous logic problem SAT based on evolutionary thought are mainly discussed. Conclusions are made with the investigation of several essential features of evolutionary algorithm.
作者 陈昊
出处 《湖北大学学报(自然科学版)》 CAS 北大核心 2007年第2期138-140,共3页 Journal of Hubei University:Natural Science
关键词 演化计算 NP难 交叉 变异 evolutionary algorithm NP hard crossover mutation
  • 相关文献

参考文献4

二级参考文献5

  • 1刘勇,博士学位论文,1994年
  • 2姚新,Proceedings of the AI’93 Workshop on Evolutionary Computation,1993年
  • 3姚新,Int J Neural Systems,1993年,4卷,203页
  • 4姚新,Microprocessing and Microprogramming,1993年,38卷,707页
  • 5黄文奇,金人超.求解SAT问题的拟物拟人算法—Solar[J].中国科学(E辑),1997,27(2):179-186. 被引量:23

共引文献104

同被引文献26

引证文献3

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部