/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H5-OS-03b-3 変数のindexのshuffleによる多様性効果について

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
2H5-OS-03b オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (2)」

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