電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
分支決策是CDCL（ Conflict Driven Clause Learning）求解器一個十分關(guān)鍵的環(huán)節(jié)，一個妤的分支策略可以減少分支決策次數(shù)進(jìn)而提高SAT求解器的效率。目前，先進(jìn)的分支策略大都結(jié)合了沖突分析過程，但分支策略對參與沖突分析的變量獎勵方法有所不同，因此所挑選出的決策變量會有所差異。文中考慮到?jīng)Q策變量總是在未賦值變量中選取的這一重要事實(shí)，在EVSIDS（ Exponential Variable State Independent Decaying Sum）分支策略的基礎(chǔ)上提出了一種新的分支策略，稱為基于獎勵機(jī)制的分支策略（簡稱RACT分支策略）。RACT分攴策略對沖突分析中被撤銷賦值的變量再次給予獎勵，以増大未賦值變量中頻繁參與沖突分析的變量被選擇為分支變量的可能性。最后，將所提岀的分攴策略嵌入到 Glucose4.1求解器中以形成新的求解器 Glucosea.1十RACT，以2017年SAT競賽中的350個實(shí)例為實(shí)驗(yàn)數(shù)據(jù)集來測試RACT分支策略的有效性。實(shí)驗(yàn)結(jié)果表明，求解器 Glucose4.1十RACT比原版求解器能求解出更多的實(shí)例個數(shù)，尤其在求解可滿足實(shí)例的個數(shù)上增加了%，此外在求解350個競賽實(shí)例上所花費(fèi)的總時(shí)間較 Glucose4.1減少了3.9%，以上實(shí)驗(yàn)數(shù)據(jù)均說明所提分支策略可以有效減少搜索樹的分支決策次數(shù)并給出正確的搜索空間，進(jìn)而提高了SAT求解器的求解能力。
- 通信電源的維護(hù)及管理策略綜述 7次下載
- 容器云中基于改進(jìn)遺傳算法的資源分配策略綜述 5次下載
- 衛(wèi)星星地測控鏈路中的功率控制策略綜述 9次下載
- 面向Linux系統(tǒng)的系統(tǒng)數(shù)據(jù)容災(zāi)機(jī)制綜述 8次下載
- 基于注意力機(jī)制的跨域服裝檢索方法綜述 2次下載
- 面向偶發(fā)實(shí)時(shí)系統(tǒng)的過載控制策略綜述 4次下載
- 基于蟻群算法優(yōu)化的虛擬機(jī)放置策略綜述 17次下載
- 動態(tài)學(xué)習(xí)機(jī)制的雙種群蟻群算法綜述 10次下載
- 基于可搜索加密機(jī)制的數(shù)據(jù)庫加密方案綜述 4次下載
- 申威眾核處理器的三對角方程求解器綜述 14次下載
- 一種基于屬性平均距離的子空間求解策略 3次下載
- 電子貨幣激勵機(jī)制綜述 2次下載
- 基于硬件可編程邏輯的SAT求解算法研究與進(jìn)展 0次下載
- 基于硬件模擬的SAT求解框架 0次下載
- 結(jié)合AIG和兩變量觀測策略的SAT滿足性算法 0次下載
- Git命令之本地分支與遠(yuǎn)程分支關(guān)聯(lián)和解除 2047次閱讀
- 盤點(diǎn)一下CST電磁仿真軟件的求解器 5350次閱讀
- 如何通過策略模式簡化if-else 564次閱讀
- 求解布爾SAT的方法 905次閱讀
- 使用Lumerical STACK求解器優(yōu)化OLED 854次閱讀
- T拓?fù)洌?b class="flag-6" style="color: red">分支不等長對于波形有什么影響？ 2236次閱讀
- 如何建立一個staking機(jī)制 1213次閱讀
- 深度分析NLP中的注意力機(jī)制 3747次閱讀
- Xpeedic Heracles工具集成了一種全新的混合求解器技術(shù) 3939次閱讀
- DeepMind開發(fā)了PopArt，解決了不同游戲獎勵機(jī)制規(guī)范化的問題 3084次閱讀
- 分支限界法與回溯法算法的詳細(xì)資料概述 7326次閱讀
- Git分支，為何以及如何使用分支 3883次閱讀
- 對于無線電全模式短波電臺TS-480SAT/HX詳細(xì)剖析 5.7w次閱讀
- IE和FEBI求解器詳解及對比 5931次閱讀
- 基于小型化微帶雙分支定向耦合器的設(shè)計(jì)方案 5994次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊
- 1.06 MB | 532次下載 | 免費(fèi)
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費(fèi)
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費(fèi)
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費(fèi)
- 5元宇宙深度解析—未來的未來-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費(fèi)
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費(fèi)
- 7元宇宙底層硬件系列報(bào)告
- 13.42 MB | 182次下載 | 免費(fèi)
- 8FP5207XR-G1中文應(yīng)用手冊
- 1.09 MB | 178次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊免費(fèi)下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動電路設(shè)計(jì)》 溫德爾著
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191187次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論