05月12日(Mon) 15:20～17:00 D会場(48人-ひめぎんホール 第3会議室)
| 時間 | 15:20～16:00 |
|---|---|
| 題目 | 1D4-OS-11a-1 極小モデル生成とMaxSATソルバーについて |
| 著者 |
長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 16:00～16:15 |
|---|---|
| 題目 | 1D4-OS-11a-2in 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 |
| 著者 |
岩下 洋哲(富士通研究所) 戸田 貴久(電気通信大学 大学院 情報システム学研究科) 津田 宏治(産業総合研究所 生命情報工学研究センター) 湊 真一(北海道大学大学院情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 16:30～16:45 |
|---|---|
| 題目 | 1D4-OS-11a-4 基数制約のSAT符号化を用いたMaxSATソルバーの試作 |
| 著者 |
越村 三幸(九州大学大学院システム情報科学研究院情報学部門) 有村 寿高(九州大学工学部電気情報工学科) |
| 論文 | PDFファイル |
| 時間 | 16:45～17:00 |
|---|---|
| 題目 | 1D4-OS-11a-5 乗算型重み更新法に基づく分散制約最適化アルゴリズム |
| 著者 |
波多野 大督(国立情報学研究所 ビッグデータ数理国際研究センター) 吉田 悠一(国立情報学研究所) |
| 論文 | PDFファイル |