资料介绍
分支决策是CDCL( Conflict Driven Clause Learning)求解器一个十分关键的环节,一个妤的分支策略可以减少分支决策次数进而提高SAT求解器的效率。目前,先进的分支策略大都结合了冲突分析过程,但分支策略对参与冲突分析的变量奖励方法有所不同,因此所挑选出的决策变量会有所差异。文中考虑到决策变量总是在未赋值变量中选取的这一重要事实,在EVSIDS( Exponential Variable State Independent Decaying Sum)分支策略的基础上提出了一种新的分支策略,称为基于奖励机制的分支策略(简称RACT分支策略)。RACT分攴策略对冲突分析中被撤销赋值的变量再次給予奖励,以増大未赋值变量中频繁参与冲突分析的变量被选择为分支变量的可能性。最后,将所提岀的分攴策略嵌入到 Glucose4.1求解器中以形成新的求解器 Glucosea.1十RACT,以2017年SAT竞赛中的350个实例为实验数据集来测试RACT分支策略的有效性。实验结果表明,求解器 Glucose4.1十RACT比原版求解器能求解出更多的实例个数,尤其在求解可满足实例的个数上增加了%,此外在求解350个竞赛实例上所花费的总时间较 Glucose4.1减少了3.9%,以上实验数据均说明所提分支策略可以有效减少搜索树的分支决策次数并给出正确的搜索空间,进而提高了SAT求解器的求解能力。
- 通信电源的维护及管理策略综述 7次下载
- 容器云中基于改进遗传算法的资源分配策略综述 5次下载
- 卫星星地测控链路中的功率控制策略综述 9次下载
- 面向Linux系统的系统数据容灾机制综述 8次下载
- 基于注意力机制的跨域服装检索方法综述 2次下载
- 面向偶发实时系统的过载控制策略综述 4次下载
- 基于蚁群算法优化的虚拟机放置策略综述 17次下载
- 动态学习机制的双种群蚁群算法综述 10次下载
- 基于可搜索加密机制的数据库加密方案综述 4次下载
- 申威众核处理器的三对角方程求解器综述 14次下载
- 一种基于属性平均距离的子空间求解策略 3次下载
- 电子货币激励机制综述 2次下载
- 基于硬件可编程逻辑的SAT求解算法研究与进展 0次下载
- 基于硬件模拟的SAT求解框架 0次下载
- 结合AIG和两变量观测策略的SAT满足性算法 0次下载
- Git命令之本地分支与远程分支关联和解除 2047次阅读
- 盘点一下CST电磁仿真软件的求解器 5350次阅读
- 如何通过策略模式简化if-else 564次阅读
- 求解布尔SAT的方法 905次阅读
- 使用Lumerical STACK求解器优化OLED 854次阅读
- T拓扑,分支不等长对于波形有什么影响? 2236次阅读
- 如何建立一个staking机制 1213次阅读
- 深度分析NLP中的注意力机制 3747次阅读
- Xpeedic Heracles工具集成了一种全新的混合求解器技术 3939次阅读
- DeepMind开发了PopArt,解决了不同游戏奖励机制规范化的问题 3084次阅读
- 分支限界法与回溯法算法的详细资料概述 7326次阅读
- Git分支,为何以及如何使用分支 3883次阅读
- 对于无线电全模式短波电台TS-480SAT/HX详细剖析 5.7w次阅读
- IE和FEBI求解器详解及对比 5931次阅读
- 基于小型化微带双分支定向耦合器的设计方案 5994次阅读
下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图(支持平板,盒子VR)
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多