3J1-02　マルチコアクラスタ環境での並列SATソルバの評価

6月13日(金) 09:00～10:20　J会場
探索・プランニング2

演題番号	3J1-02
題目	マルチコアクラスタ環境での並列SATソルバの評価
著者	大村圭 (早稲田大学基幹理工学研究科) 上田和紀 (早稲田大学　理工学術院)
時間	6月13日(金) 09:20～09:40
概要	我々は逐次SATソルバMiniSatを並列化しチューニングすることにより、大幅な速度向上を実現した。本論文ではSATソルバの並列化技法とマルチコアクラスタ環境での評価について述べる。
論文	PDFファイル