GPGPUによるMaxSATオラクルを用いたSATソルバの試作
-
- 山口 順也
- 東京工業大学 工学部 情報工学科
-
- Tourret Sophie
- 国立情報学研究所
-
- 井上 克巳
- 国立情報学研究所/東京工業大学
抄録
<p>SAT問題を解くSATソルバは,近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった.さらなる高速化の方法として処理の並列化が考えられるが,求解には逐次処理が多く,GPGPUによる並列化によって飛躍的に進歩した事例はない.本研究では,GPGPUで実装したMaxSATソルバをオラクルとして,SAT問題の探索空間を効率的に探索するSATソルバの提案を行う.</p>
収録刊行物
-
- 人工知能学会全国大会論文集
-
人工知能学会全国大会論文集 JSAI2017 (0), 1M2OS02b3-1M2OS02b3, 2017
一般社団法人 人工知能学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001288048125184
-
- NII論文ID
- 130007421471
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可