05月31日(Sun) 15:20～17:05 H会場(5F北-小講義室 (583))
| 時間 | 15:20～16:00 |
|---|---|
| 題目 | 2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題 |
| 著者 |
湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 16:05～16:25 |
|---|---|
| 題目 | 2H4-OS-03a-2 BDD構築技術を応用した組合せ最適化の一手法 |
| 著者 |
岩下 洋哲(富士通研究所) |
| 論文 | PDFファイル |
| 時間 | 16:25～16:45 |
|---|---|
| 題目 | 2H4-OS-03a-3in BDDに基づくALLSATソルバーを用いたアイテムセットマイニング |
| 著者 |
戸田 貴久(電気通信大学 大学院 情報システム学研究科) 津田 宏治(東京大学大学院新領域創成科学研究科) |
| 論文 | PDFファイル |