2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
唐瑞雪
作品数:
1
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张