第31回 (2017)
セッションID: 1M2-OS-02b-3
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
GPGPUによるMaxSATオラクルを用いたSATソルバの試作
詳細
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
SAT問題を解くSATソルバは，近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった．さらなる高速化の方法として処理の並列化が考えられるが，求解には逐次処理が多く，GPGPUによる並列化によって飛躍的に進歩した事例はない．本研究では，GPGPUで実装したMaxSATソルバをオラクルとして，SAT問題の探索空間を効率的に探索するSATソルバの提案を行う．
