第2回CSPSAT3研究会
会議情報
- 日程
- 2016年12月19日(月)
- 会議名
- 第2回CSPSAT3研究会
- 用務先
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F
渕野グループ 会議室420
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F
渕野グループ 会議室420
プログラム
- プログラムは下記の通りですが，発表の進行状況に合わせて柔軟に進めたいと思います．
| 12月19日(月) | @神戸大学・六甲台キャンパス |
|---|---|
| 10:00-11:30 | 研究トピックに関する議論 |
| 昼休み | |
| 13:00-14:00 | 研究発表 (調整中) |
| 14:00-15:00 | Parallel SAT solving guided by MaxSAT oracles on GPU |
| 山口順也 | |
| 15:00-16:00 | SAT技術を用いた代謝パスウェイのエレメンタリーモード解析 |
| 川原征大 | |
| 16:00-17:00 | 制約最適化問題へのインクリメンタルSAT技術の利用 |
| 迫龍哉 | |
| 17:00-21:00 | 今後の研究計画に関する議論 |
参加者
- 国立情報学研究所
- 井上克巳
- 東京工業大学
- 山口順也
- 山梨大学
- 鍋島英知
- 神戸大学
- 田村直之, 宋剛秀, 川原征大, 迫龍哉