05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
演題番号 | 2H5-OS-03b-4 |
---|---|
題目 | SAT問題におけるCommunity rankの提案 |
著者 | 戸ヶ崎 仁宣(東京大学大学院情報理工学研究科創造情報学専攻) 手塚 宏史(東京大学大学院情報理工学系研究科創造情報学専攻) 稲葉 真理(東京大学大学院情報理工学系研究科創造情報学専攻) |
時間 | 05月31日(Sun) 18:20〜18:40 |
概要 | SAT問題を、隠された問題の構造を利用して効率的に解くためにCNFから関連の深い変数のCommunityを抽出する。そして優先的に探索するCommunityを選択するためにCommunity Rankを提案し、改良版MiniSat2.20にCommunity Rankを実装しSAT competition 2014のApplication問題について実験を行った。 |
論文 | PDFファイル |