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

DOI

Abstract

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

Journal

Details 詳細情報について

Report a problem

Back to top