06月06日(Mon) 17:20～19:00 D会場(48名-国際会議場 22会議室)
| 時間 | 17:20～17:35 |
|---|---|
| 題目 | 1D5-OS-02b-1 モデルとUnsat Core を利用したMaxSATソルバーの試作 |
| 著者 |
越村 三幸(九州大学大学院システム情報科学研究院情報学部門) |
| 論文 | PDFファイル |
| 時間 | 17:35～17:50 |
|---|---|
| 題目 | 1D5-OS-02b-2 CDCLソルバーにおけるZDDを利用した節圧縮表現の導入 |
| 著者 |
後藤 優也(山梨大学工学部コンピュータ理工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 17:50～18:05 |
|---|---|
| 題目 | 1D5-OS-02b-3in2 BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙 |
| 著者 |
鈴木 浩史(北海道大学 大学院情報科学研究科) 孫 浩(北海道大学 大学院情報科学研究科) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 18:05～18:20 |
|---|---|
| 題目 | 1D5-OS-02b-4 グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス |
| 著者 |
井上 祐馬(北海道大学 大学院 情報科学研究科) 鈴木 浩史(北海道大学 大学院情報科学研究科) 伊藤 華(北海道大学 大学院 情報科学研究科) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 18:20～18:35 |
|---|---|
| 題目 | 1D5-OS-02b-5 重み付き二分決定グラフを用いた組合せ最適化手法 |
| 著者 |
岩下 洋哲(富士通研究所 知識情報処理研究所) |
| 論文 | PDFファイル |
| 時間 | 18:35～18:50 |
|---|---|
| 題目 | 1D5-OS-02b-6in2 変数間の支配関係に基づく論理式の全解列挙手法 |
| 著者 |
戸田 貴久(電気通信大学 大学院 情報システム学研究科) 井上 武(日本電信電話株式会社) |
| 論文 | PDFファイル |
| 時間 | 18:50～19:00 |
|---|---|
| 題目 | 総括 |
| 著者 |
|