基于分组的启发式SAT新算法——DCDS算法

陈丽; 张必英

首页> 中文期刊> 《计算机工程与应用》 >基于分组的启发式SAT新算法——DCDS算法

基于分组的启发式SAT新算法——DCDS算法

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题.提出了一种基于启发式分组的SAT完备算法.启发式分组策略将一个全局搜索问题,转为局部搜索问题.并将该策略引入到结合BDD与SAT算法的形式验证中,与一般的启发式SAT算法相比,该算法在求解速度和求解问题的规模等方面都明显地改进了,实验结果表明了该算法的可行性和有效性.

著录项

来源
《计算机工程与应用》 |2008年第30期|64-67|共4页
作者
陈丽; 张必英;
展开▼
作者单位

哈尔滨师范大学;

恒星学院;

数学与计算机系;

哈尔滨;

150025;

哈尔滨商业大学;

计算机与信息工程学院;

哈尔滨;

150025;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
形式验证; 等价性验证; 布尔可满足性; 二叉判决图;

相似文献

中文文献
外文文献
专利

1. 基于动态奖惩的CDCL SAT求解器分支启发式算法 [J] . 陈秀兰 ,刘婷 . 计算机工程与科学 . 2019,第003期
2. 基于扩展规则的启发式#SAT求解算法 [J] . 王强 ,刘磊 ,吕帅 . 软件学报 . 2018,第011期
3. 基于关键文字的求解SAT问题的启发式算法 [J] . 秦永彬 ,张秋菊 . 计算机与数字工程 . 2010,第010期
4. 一种新的基于Dijkstra算法的QoS组播树启发式算法 [J] . 李秉智 ,李智 . 重庆邮电大学学报（自然科学版） . 2006,第001期
5. 一种新的基于Dijstra算法的QoS组播树启发式算法 [J] . 朱晓丽 ,董春玲 ,郑明春 . 计算机工程与应用 . 2004,第034期
6. 新的基于启发式蚁群算法的QoS路由算法 [C] . 杨霞 . 2009年广西计算机学会学术年会 . 2009
7. 启发式将3-SAT化为2-SAT的DPLL算法 [A] . 徐德志 . 2008

基于分组的启发式SAT新算法——DCDS算法

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅