田奕

作品数：1被引量：8H指数：1
导出分析报告
供职机构：国家智能计算机研究开发中心更多>>
发文主题：遗传算法可满足性数理逻辑更多>>
发文领域：理学更多>>
发文期刊：《模式识别与人工智能》更多>>
所获基金：国家攀登计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
求解可满足性问题的一种高效遗传算法被引量：8
《模式识别与人工智能》1996年第3期209-212,共4页田奕 刘涛 李国杰 
国家攀登计划支持项目
本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这...
关键词：遗传算法 可满足性 数理逻辑 机器学习 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部