發(fā)布時(shí)間：2021-01-18 20:14

　　ERACC （Extension Rule Based on Accurate Configuration Checking）算法由楊洋等人基于擴(kuò)展規(guī)則和格局檢測(cè)提出,具有較高的推理效率.為進(jìn)一步提高ERACC算法在大規(guī)模SAT（Satisfiability）問(wèn)題求解上的性能,本文在搜索由極大項(xiàng)組成的空間時(shí),首先利用IMOM（Improved Maximum Occurrences on Clauses of Maximum Size）思想生成初始極大項(xiàng),接著設(shè)計(jì)了適用于擴(kuò)展規(guī)則推理的CCA_ER（Configuration Checking with Aspiration for Extension Rule-Based Reasoning）啟發(fā)式策略,為極大項(xiàng)中格局信息未發(fā)生變化的變量對(duì)應(yīng)文字提供一定的翻轉(zhuǎn)機(jī)會(huì).同時(shí),為進(jìn)一步提高擴(kuò)展規(guī)則推理算法在k-SAT問(wèn)題求解上的性能,設(shè)計(jì)了適用于擴(kuò)展規(guī)則推理的PAWS_ER（Pure Additive Weighting Scheme for Extension Rule-Based Reasonin... 

【文章來(lái)源】：電子學(xué)報(bào). 2020,48(05)北大核心

【文章頁(yè)數(shù)】：7 頁(yè)

【文章目錄】：
1 引言
2 基礎(chǔ)知識(shí)
    2.1 擴(kuò)展規(guī)則
    2.2 ERACC算法
IAPS算法">3 ERACC_IAPS算法
    3.1 初始化極大項(xiàng)
ER啟發(fā)式">    3.2 CCA_ER啟發(fā)式
    3.3 子句權(quán)重更新策略
    3.4 子句的次貢獻(xiàn)值
IAPS算法">4 CERACC_IAPS算法
5 實(shí)驗(yàn)結(jié)果與分析
IAPS算法的測(cè)試結(jié)果與分析">    5.1 ERACC_IAPS算法的測(cè)試結(jié)果與分析
IAPS算法的測(cè)試結(jié)果與分析">    5.2 CERACC_IAPS算法的測(cè)試結(jié)果與分析
    5.3 與其他局部搜索算法進(jìn)行比較
6 結(jié)論與展望


【參考文獻(xiàn)】：
期刊論文
[1]基于擴(kuò)展規(guī)則的啟發(fā)式#SAT求解算法[J]. 王強(qiáng),劉磊,呂帥.  軟件學(xué)報(bào). 2018(11)
[2]一種新的基于局部搜索的擴(kuò)展規(guī)則推理方法[J]. 楊洋,劉磊,李廣力,張桐搏,呂帥.  計(jì)算機(jī)學(xué)報(bào). 2018(04)
[3]基于MCN和MO啟發(fā)式策略的擴(kuò)展規(guī)則知識(shí)編譯方法[J]. 谷文祥,王金艷,殷明浩.  計(jì)算機(jī)研究與發(fā)展. 2011(11)
[4]基于半擴(kuò)展規(guī)則的定理證明方法[J]. 張立明,歐陽(yáng)丹彤,白洪濤.  計(jì)算機(jī)研究與發(fā)展. 2010(09)
[5]基于IMOM和IBOHM啟發(fā)式策略的擴(kuò)展規(guī)則算法[J]. 李瑩,孫吉貴,吳瑕,朱興軍.  軟件學(xué)報(bào). 2009(06)
[6]一種新的基于擴(kuò)展規(guī)則的定理證明算法[J]. 孫吉貴,李瑩,朱興軍,呂帥.  計(jì)算機(jī)研究與發(fā)展. 2009(01)



本文編號(hào)：2985593