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