電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
分支決策是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次閱讀
上傳資料賺積分下載排行
本周
- 1DD3118電路圖紙資料
- 0.08 MB | 1次下載 | 免費
- 2AD庫封裝庫安裝教程
- 0.49 MB | 1次下載 | 免費
- 3PC6206 300mA低功耗低壓差線性穩壓器中文資料
- 1.12 MB | 1次下載 | 免費
- 4網絡安全從業者入門指南
- 2.91 MB | 1次下載 | 免費
- 5DS-CS3A P00-CN-V3
- 618.05 KB | 1次下載 | 免費
- 6海川SM5701規格書
- 1.48 MB | 次下載 | 免費
- 7H20PR5電磁爐IGBT功率管規格書
- 1.68 MB | 次下載 | 1 積分
- 8IP防護等級說明
- 0.08 MB | 次下載 | 免費
本月
- 1貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 103次下載 | 1 積分
- 2涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 89次下載 | 1 積分
- 3錦銳科技CA51F2 SDK開發包
- 24.06 MB | 43次下載 | 1 積分
- 4錦銳CA51F005 SDK開發包
- 19.47 MB | 19次下載 | 1 積分
- 5PCB的EMC設計指南
- 2.47 MB | 16次下載 | 1 積分
- 6HC05藍牙原理圖加PCB
- 15.76 MB | 13次下載 | 1 積分
- 7802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費
- 8蘋果iphone 11電路原理圖
- 4.98 MB | 6次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191390次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65989次下載 | 10 積分
工商網監
評論