05月23日(Tue) 15:50〜17:30 M会場(ウインクあいち-10F 1005会議室)
| 演題番号 | 1M2-OS-02b-3 |
|---|---|
| 題目 | GPGPUによるMaxSATオラクルを用いたSATソルバの試作 |
| 著者 | 山口 順也(東京工業大学 工学部 情報工学科) Tourret Sophie(国立情報学研究所) 井上 克巳(国立情報学研究所／東京工業大学) |
| 時間 | 05月23日(Tue) 16:30〜16:50 |
| 概要 | SAT問題を解くSATソルバは，近年の著しい性能向上によって大規模なSAT問題を解くことが出来るようになった．さらなる高速化の方法として処理の並列化が考えられるが，求解には逐次処理が多く，GPGPUによる並列化によって飛躍的に進歩した事例はない．本研究では，GPGPUで実装したMaxSATソルバをオラクルとして，SAT問題の探索空間を効率的に探索するSATソルバの提案を行う． |
| 論文 | PDFファイル |