06月05日(Wed) 18:00～20:20 E会場(-国際会議場204号室)
| 時間 | 18:00～18:20 |
|---|---|
| 題目 | 2E5-OS-09b-1 正方形詰込み問題の制約モデルとSAT符号化を用いた解法 |
| 著者 |
佐古田 淳史(神戸大学大学院システム情報学研究科) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |
| 時間 | 18:20～18:40 |
|---|---|
| 題目 | 2E5-OS-09b-2 SATによる車両運用計画問題の定式化と集中／分散解法の適用 |
| 著者 |
下牧 昌太郎(神戸大学大学院海事科学研究科海事科学専攻) 尾松 郁哉(神戸大学海事科学部海洋ロジスティクス科学科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 論文 | PDFファイル |
| 時間 | 18:40～19:00 |
|---|---|
| 題目 | 2E5-OS-09b-3 ZDDを用いたPersonalized PageRankの高速計算法 |
| 著者 |
西野 正彬(NTTコミュニケーション科学基礎研究所) 安田 宜仁(NTTコミュニケーション科学基礎研究所) 湊 真一(北海道大学大学院情報科学研究科) 永田 昌明(NTTコミュニケーション科学基礎研究所 協創情報研究部) |
| 論文 | PDFファイル |
| 時間 | 19:00～19:20 |
|---|---|
| 題目 | 2E5-OS-09b-4 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 |
| 著者 |
戸田 貴久(JST, ERATO湊離散構造処理系プロジェクト) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 19:20～19:40 |
|---|---|
| 題目 | 2E5-OS-09b-5 SCSatを用いたラムゼー数の下界更新について |
| 著者 |
藤田 博(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 20:00～20:20 |
|---|---|
| 題目 | 2E5-OS-09b-7 Multi-MaxSATにおけるバンドル法の効果 |
| 著者 |
花田 研太(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 論文 | PDFファイル |