資料介紹
分支決策是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次下載
- 衛星星地測控鏈路中的功率控制策略綜述 10次下載
- 面向Linux系統的系統數據容災機制綜述 8次下載
- 基于注意力機制的跨域服裝檢索方法綜述 2次下載
- 面向偶發實時系統的過載控制策略綜述 4次下載
- 基于蟻群算法優化的虛擬機放置策略綜述 17次下載
- 動態學習機制的雙種群蟻群算法綜述 10次下載
- 基于可搜索加密機制的數據庫加密方案綜述 4次下載
- 申威眾核處理器的三對角方程求解器綜述 14次下載
- 一種基于屬性平均距離的子空間求解策略 3次下載
- 電子貨幣激勵機制綜述 2次下載
- 基于硬件可編程邏輯的SAT求解算法研究與進展 0次下載
- 基于硬件模擬的SAT求解框架 0次下載
- 結合AIG和兩變量觀測策略的SAT滿足性算法 0次下載
- Git命令之本地分支與遠程分支關聯和解除 3340次閱讀
- 盤點一下CST電磁仿真軟件的求解器 6291次閱讀
- 如何通過策略模式簡化if-else 791次閱讀
- 求解布爾SAT的方法 1142次閱讀
- 使用Lumerical STACK求解器優化OLED 1048次閱讀
- T拓撲,分支不等長對于波形有什么影響? 2416次閱讀
- 如何建立一個staking機制 1262次閱讀
- 深度分析NLP中的注意力機制 3884次閱讀
- Xpeedic Heracles工具集成了一種全新的混合求解器技術 4092次閱讀
- DeepMind開發了PopArt,解決了不同游戲獎勵機制規范化的問題 3184次閱讀
- 分支限界法與回溯法算法的詳細資料概述 7564次閱讀
- Git分支,為何以及如何使用分支 4046次閱讀
- 對于無線電全模式短波電臺TS-480SAT/HX詳細剖析 5.8w次閱讀
- IE和FEBI求解器詳解及對比 6180次閱讀
- 基于小型化微帶雙分支定向耦合器的設計方案 6266次閱讀
下載排行
本周
- 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次下載 | 免費
評論