第4回CSPSAT3研究会
会議情報
- 日程
- 2017年8月7日(月), 8日(火)
- 会議名
- 第4回CSPSAT3研究会
- 用務先
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F 渕野グループ プレゼンテーション室 (421号室)
- 用務地
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
参加者
- 国立情報学研究所
- 井上克巳
- 東京工業大学
- 山口順也(M1)
- 山梨大学
- 鍋島英知
- 神戸大学
- 田村直之, 平山勝敏, 沖本天太, 番原睦則, 宋剛秀, 寸田智也(M2), 南雄之(M2), 坡山直樹(M1), 飯野有軌(B4), 大野周亮(B4), 生田哲也(B4)
- 北海道大学
- 渡辺摩周(M2)
プログラム
- プログラムは下記の通りですが，発表の進行状況に合わせて柔軟に進めたいと思います．
| 8月7日(月) | |
|---|---|
| 15:00-15:50 | Coverage-based Clause Reduction Heuristics for CDCL Solvers |
| 鍋島英知 | |
| 16:00-16:50 | Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation |
| 宋剛秀 | |
| 17:00-17:50 | 機械学習とSATソルバ |
| 山口順也 |
| 8月8日(火) | |
|---|---|
| 10:00-10:50 | 「SAT技術を用いたペトリネットのデットロック検出手法」に関するディスカッション |
| 11:00-12:00 | 今後の研究計画について |
懇親会場
- 日時：2017年8月7日(月) 19:00 -
- お店：魚喰
- https://tabelog.com/hyogo/A2801/A280108/28035454/
- 兵庫県神戸市灘区永手町3-4-18 B1F
- 078-842-5030
- 参加者(15名)：
- 井上克巳, 鍋島英知, 田村直之, 平山勝敏, 沖本天太, 番原睦則, 宋剛秀, 寸田智也(M2), 南雄之(M2), 坡山直樹(M1), 飯野有軌(B4), 大野周亮(B4), 生田哲也(B4), 山口順也(M1), 渡辺摩周(M2)