期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种求解SAT问题的动态重启策略
1
作者
郭莹
张长胜
张斌
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014年第7期935-938,共4页
为降低冲突驱动子句学习SAT求解器的运行计算成本,从"何时重启"和"何处重启"两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将冲突决策层次和变量重启次数作为反映求解状态的重要参数,及时摆脱错误的求解分...
为降低冲突驱动子句学习SAT求解器的运行计算成本,从"何时重启"和"何处重启"两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将冲突决策层次和变量重启次数作为反映求解状态的重要参数,及时摆脱错误的求解分支,通过重启后选择更优的决策变量提高求解性能.采用实际应用的基准测试集,与两个流行的求解器进行了对比实验.结果表明,所提出的策略对求解速度、内存占用、冲突发生数、传播次数等关键指标有显著改善.
展开更多
关键词
可满足性问题
重启策略
启发式
冲突决策层次
变量重启次数
下载PDF
职称材料
题名
一种求解SAT问题的动态重启策略
1
作者
郭莹
张长胜
张斌
机构
东北大学信息科学与工程学院
出处
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014年第7期935-938,共4页
基金
国家自然科学基金资助项目(61073062
61100090)
+1 种基金
中央高校基本科研业务费专项资金资助项目(N11024006)
宁夏回族自治区自然科学基金资助项目(NZ13265)
文摘
为降低冲突驱动子句学习SAT求解器的运行计算成本,从"何时重启"和"何处重启"两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将冲突决策层次和变量重启次数作为反映求解状态的重要参数,及时摆脱错误的求解分支,通过重启后选择更优的决策变量提高求解性能.采用实际应用的基准测试集,与两个流行的求解器进行了对比实验.结果表明,所提出的策略对求解速度、内存占用、冲突发生数、传播次数等关键指标有显著改善.
关键词
可满足性问题
重启策略
启发式
冲突决策层次
变量重启次数
Keywords
propositional
satisfiability
problem
restart
strategy
heuristic
conflict
decision
level
variable
＇s
restart
times
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种求解SAT问题的动态重启策略
郭莹
张长胜
张斌
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
