文献

J-GLOBAL ID：201802248349148853   整理番号：18A0201487

可変決定レベルに基づく分岐発見的方法【Powered by NICT】

A branching heuristic based on variable decision levels

著者 (2件)： Du Zhonghe (National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, Sichuan, 610031, China) ,  Song Zhenming (National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, Sichuan, 610031, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISKE  ページ： 1-5  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 効率的な分岐発見的方法は,最新のSATソルバの重要な特徴である。本稿では,まずEVSIDSと酸のようなVSIDSヒューリスティックとVSIDSベース発見的方法を導入した。VSIDSに基づいて,可変判定レベルを考慮したDLBHと呼ばれる新しい発見的変数選択プロセスの効率を促進するために提案した。例がEVSIDS,酸とDLBH間の比較を示した。最後に,実験結果はDLBHとMiniSatソルバはVSIDS及びグルコースとソルバMiniSatより優れていることを示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *発見的方法 ,  ヘキソース ,  アルドース
準シソーラス用語： 変数選択 ,  ヒューリスティック ,  ソルバ , 【Automatic Indexing@JST】

分類 (3件)： 論理代数  (JB03000H) ,  人工知能  (JE08000Z) ,  ディジタル計算機方式一般  (JC02010O)

物質索引 (1件)： グルコース

タイトルに関連する用語 (3件)： 可変 ,  分岐 ,  発見的方法