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ファイル |