论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- null期刊 \
- 河北省科学院学报期刊 \
利用改进的HBDE算法求解MAX-k-SAT问题
利用改进的HBDE算法求解MAX-k-SAT问题
原文服务方：
河北省科学院学报
摘要：
目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点.本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规模MAX-k-SAT实例的求解比较表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法.
推荐文章
MAX-k-SAT的PTAS归约等价性
极小不可满足公式
归约
MAX-k-SAT问题
PTAS等价
并行蚁群算法求解加权MAX-SAT
蚁群算法
加速比
并行
最大化可满足性问题(MAX-SAT)
加权MAX-SAT
多核
基于寻找可满足2-SAT子问题的SAT算法
SAT问题
2-SAT子问题
2-SAT算法
利用改进的郭涛算法求解函数优化问题
郭涛算法
高斯变异算子
自适应搜索子空间
函数优化
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
版权信息
全文
- 全文.pdf
引文网络
引文网络
二级参考文献 (19)
共引文献 (95)
参考文献 (4)
节点文献
引证文献 (1)
同被引文献 (0)
二级引证文献 (0)
1993(1)
- 参考文献（0）
- 二级参考文献（1）
1995(1)
- 参考文献（0）
- 二级参考文献（1）
1997(3)
- 参考文献（1）
- 二级参考文献（2）
1999(1)
- 参考文献（0）
- 二级参考文献（1）
2001(1)
- 参考文献（0）
- 二级参考文献（1）
2002(3)
- 参考文献（0）
- 二级参考文献（3）
2003(1)
- 参考文献（0）
- 二级参考文献（1）
2005(1)
- 参考文献（0）
- 二级参考文献（1）
2006(4)
- 参考文献（1）
- 二级参考文献（3）
2007(6)
- 参考文献（1）
- 二级参考文献（5）
2010(1)
- 参考文献（1）
- 二级参考文献（0）
2014(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2015(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
二进制差分演化
变邻域搜索
组合优化问题
MAX-SAT问题
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
河北省科学院学报
主办单位：
河北省科学院
出版周期：
季刊
ISSN：
1001-9383
CN：
13-1081/N
开本：
大16开
出版地：
邮发代号：
创刊时间：
1984-01-01
语种：
chi
出版文献量（篇）
1657
总下载数（次）
0
总被引数（次）
5900
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
河北省科学院学报2024
河北省科学院学报2000
河北省科学院学报2001
河北省科学院学报2002
河北省科学院学报2003
河北省科学院学报2004
河北省科学院学报2005
河北省科学院学报2006
河北省科学院学报2007
河北省科学院学报2008
河北省科学院学报2009
河北省科学院学报2010
河北省科学院学报2011
河北省科学院学报2012
河北省科学院学报2013
河北省科学院学报2014
河北省科学院学报2015
河北省科学院学报2016
河北省科学院学报2017
河北省科学院学报2018
河北省科学院学报2019
河北省科学院学报2020
河北省科学院学报2023
