文献

J-GLOBAL ID：201802230245910920   整理番号：18A0265748

ハードウェア加速されたSATソルバA調査【Powered by NICT】

Hardware accelerated SAT solvers-A survey

著者 (3件)： Sohanghpurwala Ali Asgar (Configurable Computing Lab, Bradley Department of Computer Engineering, 302 Whittemore (0111), Virginia Tech, Blacksburg, VA, 24060, United States) ,  Hassan Mohamed W. (Configurable Computing Lab, Bradley Department of Computer Engineering, 302 Whittemore (0111), Virginia Tech, Blacksburg, VA, 24060, United States) ,  Athanas Peter (Configurable Computing Lab, Bradley Department of Computer Engineering, 302 Whittemore (0111), Virginia Tech, Blacksburg, VA, 24060, United States)
資料名： Journal of Parallel and Distributed Computing  (Journal of Parallel and Distributed Computing)
巻： 106  ページ： 170-184  発行年： 2017年 
JST資料番号： D0613B  ISSN： 0743-7315  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Boole充足可能性(SAT)を理論的および実用的応用の両方で大きな重要性を保っているという問題がある。一般SAT問題はNP完全であるが,解法アルゴリズムと発見的方法の進歩は多くの工業問題を迅速かつ効率的に解くことができることを意味している。逐次SATソルバの分野でなされたこの進歩の多く;が,ハードウェアSAT加速器の分野に重要な最近の寄与した。本論文では,一般的にSATソルバの現状の短い概要を提供し,ハードウェア加速されたSATソルバへの最近の寄与を調査した。傾向,挑戦,極めて競争的な応用分野における再構成可能SATソルバが直面している未解決の問題を解析することである。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： アルゴリズム ,  発見的方法 ,  加速器 ,  *ハードウェア
準シソーラス用語： 再構成可能性 ,  *ソルバ , 【Automatic Indexing@JST】

著者キーワード (6件)： SAT(充足可能性) ,  FPGA ,  充足可能性 ,  Boole ,  論理 ,  NP完全

分類 (1件)： ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (5件)： ハードウェア ,  加速 ,  SAT ,  ソルバ ,  調査