05月31日(Sun) 17:20～19:00 H会場(5F北-小講義室 (583))
| 時間 | 17:20～17:40 |
|---|---|
| 題目 | 2H5-OS-03b-1 SCSat3によるラムゼーグラフ探索について |
| 著者 |
藤田 博(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 17:40～18:00 |
|---|---|
| 題目 | 2H5-OS-03b-2 SATソルバーの安定性向上のための粗な初期探索手法の検討と提案 |
| 著者 |
三神 直彬(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 18:00～18:20 |
|---|---|
| 題目 | 2H5-OS-03b-3 変数のindexのshuffleによる多様性効果について |
| 著者 |
ムン ソンス(東京大学) |
| 論文 | PDFファイル |
| 時間 | 18:20～18:40 |
|---|---|
| 題目 | 2H5-OS-03b-4 SAT問題におけるCommunity rankの提案 |
| 著者 |
戸ヶ崎 仁宣(東京大学大学院情報理工学研究科創造情報学専攻) 手塚 宏史(東京大学大学院情報理工学系研究科創造情報学専攻) 稲葉 真理(東京大学大学院情報理工学系研究科創造情報学専攻) |
| 論文 | PDFファイル |