文献

J-GLOBAL ID：202002261672579926   整理番号：20A1495516

再現性のある効率的な並列SAT解法【JST・京大機械翻訳】

Reproducible Efficient Parallel SAT Solving

著者 (2件)： Nabeshima Hidetomo (University of Yamanashi, Kofu, Japan) ,  Inoue Katsumi (National Institute of Informatics, Chiyoda, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12178  ページ： 123-138  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,新しい再現可能で効率的な並列SAT解決アルゴリズムを提案した。逐次SATソルバと異なり,ほとんどの並列ソルバは,性能を最大化するために再現性のある挙動を保証しない。並列SATソルバの不安定および非決定論的挙動は,実際の応用に対する並列ソルバのより広い採用を妨げる。ロバストで効率的な並列SAT解法を達成するために,著者らは決定論的並列SAT解法におけるアイドリング時間を著しく減らすための2つの技術を提案した:遅れたクラス利用交換とソルバ間のクラスユー交換間隔の実行時間の正確な推定。実験結果は,著者らの再現可能な並列SATソルバが,多くのコア環境においてさえ,非決定論的並列SATソルバに匹敵する性能を有することを示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  再現性 ,  *アイドリング ,  ロバスト性
準シソーラス用語： 実行時間 ,  ソルバ ,  決定論 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： 再現性 ,  SAT ,  解法