摘要：DKCHER算法是基于超擴展規則的求差知識編譯算法,也是目前為止表現最好的EPCCL理論編譯算法.本文通過研究DKCHER算法的執行流程,設計了一種新的啟發式策略MOVR(maximum occurrence number of variables in middle result),用于動態地從輸入子句集中選擇所包含變量在中間結果中出現次數最多的子句.將MOVR啟發式策略與DKCHER算法相結合,設計了MOVR_DKCHER算法.實驗結果表明,MOVR啟發式策略能夠顯著提高DKCHER算法的編譯效率和編譯質量,編譯效率平均可提升70倍左右,最高可以提高237倍.
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
