文献

J-GLOBAL ID：202002242481401061   整理番号：20A1507858

Mapleソルバにおける決定レベル報酬ベース分岐ヒューリスティックス【JST・京大機械翻訳】

Decision Level Reward Based Branching Heuristic in Maple Solver

著者 (1件)： Sun Jing (National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： HPCCT 2019  ページ： 243-248  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： SAT問題は,人工知能とコンピュータ科学の基本的課題の1つである。MapleソルバはSAT問題を解く際に特殊化するアルゴリズムソルバである。ソルバの効率を改善するために,決定レベル報酬ベースの分岐発見的方法を提案した。最初に,本論文は,その主要なフレームワークと2つの優れた分岐発見的方法,すなわち,可変状態独立減衰Sum(VSIDS)決定Heuristicと学習速度ベース(LRB)分岐Heuristicsを紹介した。次に,DLRという新しい方法を,決定レベル速度を考慮して,LRBの観点から提案した。最後に,異なるセットの実例の実験結果は,DLR戦略を有するMapleソルバが,コンフリクトと決定の数を減らすことによって,LRB戦略によって元のバージョンより優れていることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  計算機科学 ,  *発見的方法 ,  人工知能
準シソーラス用語： *ソルバ ,  *Maple , 【Automatic Indexing@JST】

著者キーワード (5件)： Boole充足可能性問題 ,  分岐発見的アルゴリズム ,  決定レベル率 ,  LRB ,  SATソルバ

分類 (2件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H)

タイトルに関連する用語 (5件)： Maple ,  ソルバ ,  報酬 ,  分岐 ,  ヒューリスティックス