06月06日(Mon) 15:20～17:05 D会場(48名-国際会議場 22会議室)
| 時間 | 15:20～15:25 |
|---|---|
| 題目 | 趣旨説明 |
| 著者 |
|
| 時間 | 15:25～16:05 |
|---|---|
| 題目 | 1D4-OS-02a-1 (OS招待講演)SAT ソルバーの最近の技術動向 |
| 著者 |
鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 16:05～16:20 |
|---|---|
| 題目 | 1D4-OS-02a-2 コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案 |
| 著者 |
薗部 知大(国立情報学研究所) |
| 論文 | PDFファイル |
| 時間 | 16:35～16:50 |
|---|---|
| 題目 | 1D4-OS-02a-4 SATソルバーを用いた部分グラフ探索のための制約モデル |
| 著者 |
川原 征大(神戸大学大学院システム情報学研究科情報科学専攻) 宋 剛秀(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) 田村 直之(神戸大学 情報基盤センター) |
| 論文 | PDFファイル |