GPGPUによるMaxSATオラクルを用いたSATソルバの試作
-
- 山口 順也
- 東京工業大学 工学部 情報工学科
-
- Tourret Sophie
- 国立情報学研究所
-
- 井上 克巳
- 国立情報学研究所/東京工業大学
Abstract
<p>SAT問題を解くSATソルバは,近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった.さらなる高速化の方法として処理の並列化が考えられるが,求解には逐次処理が多く,GPGPUによる並列化によって飛躍的に進歩した事例はない.本研究では,GPGPUで実装したMaxSATソルバをオラクルとして,SAT問題の探索空間を効率的に探索するSATソルバの提案を行う.</p>
Journal
-
- Proceedings of the Annual Conference of JSAI
-
Proceedings of the Annual Conference of JSAI JSAI2017 (0), 1M2OS02b3-1M2OS02b3, 2017
The Japanese Society for Artificial Intelligence
- Tweet
Details 詳細情報について
-
- CRID
- 1390001288048125184
-
- NII Article ID
- 130007421471
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- CiNii Articles
-
- Abstract License Flag
- Disallowed