男人摸女人的胸视频,91精品国产91久久久久久最新,黄色视频性爱免费看,黄瓜视频在线观看,国产小视频国产精品,成人福利国产一区二区,国产高清精品自拍91亚洲,国产91一区二区

加急見刊

兩種新的基于擴展規(guī)則#SAT問題求解算法

呂帥; 張桐搏; 王強; 劉磊 吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院; 吉林長春130012

摘要：提出一種新的基于擴展規(guī)則的#SAT求解算法NCER,該算法在#ER的基礎(chǔ)上加入啟發(fā)式策略.該策略每次選擇當(dāng)前子句集的最長子句來減小極大項空間,使得遞歸調(diào)用的次數(shù)減少,從而加快求解效率.為解決基于擴展規(guī)則的#SAT求解器在互補因子較小的樣例上的不良表現(xiàn),結(jié)合NCER和CDP的優(yōu)點提出混合#SAT求解算法NCDPER.實驗結(jié)果表明:NCER較先前的#ER在所有85個隨機SAT測試用例上有了顯著的提高.通過與目前最好的基于擴展規(guī)則的#SAT求解器的比較,該求解器具有更好的性能.

注: 保護知識產(chǎn)權(quán),如需閱讀全文請聯(lián)系東北大學(xué)學(xué)報雜志社