| 大会名称 |
|---|
| 2010年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2010 |
| 発行日 |
| 2010/8/20 |
| セッション番号 |
| 4N |
| セッション名 |
| 人工知能一般 |
| 講演日 |
| 2010/09/08 |
| 講演場所(会議室等) |
| N会場（ウエスト2号館3F 大講義室） |
| 講演番号 |
| F-019 |
| タイトル |
| BOINCによるSATソルバーの並列実行 |
| 著者名 |
| 力 規晃, 越村 三幸, 藤田 博, 長谷川 隆三, |
| キーワード |
| SATソルバー, 並列実行, グリッドコンピューティング, 充足可能性問題, BOINC |
| 抄録 |
| 近年高速なSATソルバーの開発により，複雑なプランニングや制約充足問題等の問題を充足可能性問題(SAT)に変換して，解くことが可能になっている．しかし，まだ，求解できない問題も数多くある．このような難解な問題を解く一つの方法として，複数のコンピュータで並列で解く方法がある．本研究では計算資源をボランティアに提供してもらうことを特徴とするBOINCというグリッドコンピューティングプラットホームを用いて，SATソルバーMiniSATを並列実行する．そして，性能の検証のため，巨大なナンバープレイスを対象とし実験をし，考察を行う． |
| 本文pdf |
| PDF download (350.5KB) |