GPGPUによるMaxSATオラクルを用いたSATソルバの試作

DOI

Abstract

<p>SAT問題を解くSATソルバは,近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった.さらなる高速化の方法として処理の並列化が考えられるが,求解には逐次処理が多く,GPGPUによる並列化によって飛躍的に進歩した事例はない.本研究では,GPGPUで実装したMaxSATソルバをオラクルとして,SAT問題の探索空間を効率的に探索するSATソルバの提案を行う.</p>

Journal

Details 詳細情報について

Report a problem

Back to top