05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
演題番号 | 2H5-OS-03b-3 |
---|---|
題目 | 変数のindexのshuffleによる多様性効果について |
著者 | ムン ソンス(東京大学) |
時間 | 05月31日(Sun) 18:00〜18:20 |
概要 | SATソルバで探索に多様性を加えることは求解の高速化に貢献している。並列ソルバではportfolio方式が主流になっているが、ソルバ同士の多様性を保つことが難しい。超並列になると現段階のportfolio方式で多様性を保つことは難しい。 本提案では、特に現実世界のアプリケーションから派生したSAT問題に対し、ソルバの探索に多様性を加えるために変数のindexをshuffleすることを提案する。 |
論文 | PDFファイル |