您的位置： 专家智库 > >

刘涛

作品数：1 被引量：8H指数：1
供职机构：国家智能计算机研究开发中心更多>>
发文基金：国家攀登计划更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇遗传算法
  • 1篇数理逻辑
  • 1篇逻辑
  • 1篇可满足性

机构

  • 1篇国家智能计算...

作者

  • 1篇刘涛
  • 1篇田奕
  • 1篇李国杰

传媒

  • 1篇模式识别与人...

年份

  • 1篇1996
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
求解可满足性问题的一种高效遗传算法被引量：8
1996年
本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这种遗传算法表现了优于同类算法的良好性能.
田奕刘涛李国杰
关键词：遗传算法可满足性数理逻辑
全选 清除 导出
共1页<1>
聚类工具0