兩種新的基于擴展規則#SAT問題求解算法
摘要：提出一種新的基于擴展規則的#SAT求解算法NCER,該算法在#ER的基礎上加入啟發式策略.該策略每次選擇當前子句集的最長子句來減小極大項空間,使得遞歸調用的次數減少,從而加快求解效率.為解決基于擴展規則的#SAT求解器在互補因子較小的樣例上的不良表現,結合NCER和CDP的優點提出混合#SAT求解算法NCDPER.實驗結果表明:NCER較先前的#ER在所有85個隨機SAT測試用例上有了顯著的提高.通過與目前最好的基于擴展規則的#SAT求解器的比較,該求解器具有更好的性能.
注: 保護知識產權,如需閱讀全文請聯系東北大學學報雜志社
相關推薦
更多
