文献

J-GLOBAL ID：201802220273432744   整理番号：18A0408615

変数選択ヒューリスティックスの自動設計によるCDCL SATソルバの性能改善【Powered by NICT】

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics

著者 (10件)： Illetskova Marketa (Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A) ,  Bertels Alex R. (Sandia National Laboratories, Albuquerque, NM, U.S.A.) ,  Tuggle Joshua M. (Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A.) ,  Harter Adam (Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A.) ,  Richter Samuel (Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A.) ,  Tauritz Daniel R. (Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A.) ,  Mulder Samuel (Sandia National Laboratories, Albuquerque, NM, U.S.A.) ,  Bueno Denis (Sandia National Laboratories, Albuquerque, NM, U.S.A.) ,  Leger Michelle (Sandia National Laboratories, Albuquerque, NM, U.S.A.) ,  Siever William M. (Department of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, U.S.A.)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： SSCI  ページ： 1-8  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多くの実世界工学と科学的問題は,Boole充足可能性問題(SAT)に写像できる。CDCL SATソルバは最も効率的なソルバである。以前の研究は,特定の問題クラスから導出した例はソルバの変数選択方式の有効性に影響する独特の基本構造を示した。かように特殊な問題クラスにソルバの可変スコアリング発見的方法をカスタマイズソルバの性能を有意に増強することができるが,手動でこのようなカスタマイズを行うことは非常に労働集約的である。CDCLソルバーのための可変スコアリング発見的方法の設計を自動化する,任意の問題クラスにソルバを調整することを可能にするシステムを提案した。実験結果は,遺伝的プログラミングを用いた非同期並列超発見的方法アプローチを用いた可変スコアリング発見的方法を進化する,このシステムは特定の問題クラスのためのより効率的なソルバを生成する可能性を持っていることを実証した。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件)： 半導体集積回路  (NC03162T) ,  計算機システム開発  (JD02010R) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (6件)： 変数選択 ,  ヒューリスティックス ,  自動設計 ,  SAT ,  ソルバ ,  性能改善