您的位置： 专家智库 > >

唐瑞雪

作品数：1 被引量：3H指数：1
供职机构：贵州大学计算机科学与信息学院更多>>
发文基金：贵州省优秀科技教育人才省长资金项目贵州省科学技术基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇遗传算法
  • 1篇遗传算法求解
  • 1篇SAT问题
  • 1篇DPLL

机构

  • 1篇贵州大学

作者

  • 1篇许道云
  • 1篇王晓峰
  • 1篇唐瑞雪

传媒

  • 1篇计算机工程与...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于DPLL的混合遗传算法求解SAT问题被引量：3
2010年
基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。
王晓峰许道云唐瑞雪
关键词：SAT问题遗传算法
全选 清除 导出
共1页<1>
聚类工具0