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