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