第6回CSPSAT3研究会
会議情報
- 日程
- 2018年10月18日(木), 19日(金), 20日(土) # 18日は夕方開始，20日は移動日
- 会議名
- 第6回CSPSAT3研究会
- 用務先
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F 渕野グループ プレゼンテーション室 Campus Map: Building #65
- 用務地
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
参加者
- 国立情報学研究所
- 井上克巳
- 東京工業大学
- 山口順也, 陳天宇
- 電気通信大学
- 戸田貴久, 渡辺光洋
- 山梨大学
- 鍋島英知
- 名古屋大学
- 番原睦則
- 神戸大学
- 田村直之, 宋剛秀, 坡山直樹, 飯野有軌, 生田哲也, 岡本祐樹, 中川大地
プログラム
- プログラムは下記の通りですが，発表の進行状況に合わせて柔軟に進めたいと思います．
| 10月18日(木) | |
|---|---|
| 17:00 - 18:30 | 最終年度の進め方に関する議論 |
| 10月19日(金) | |
|---|---|
| 10:00 - 11:00 | 多スレッド環境における決定的ポートフォリオ型並列SATソルバーの高速化 [PDF] |
| 鍋島英知 | |
| 11:00 - 12:00 | 反例空間解析 [PDF] |
| 戸田貴久 | |
| 12:00 - 13:30 | 昼食休憩 |
| 13:30 - 14:30 | グラフ埋め込みを利用したSATソルバの前処理 [PDF] |
| 山口順也*, 井上克巳 | |
| 14:45 - 15:15 | SATソルバーを用いた様相命題論理S4の充足可能性判定とその性能評価 [PDF] |
| 飯野有軌*, 田村直之, 番原睦則, 宋剛秀 | |
| 15:15 - 15:45 | 正規制約のSAT符号化の改善とその性能評価 [PDF] |
| 生田哲也*, 田村直之, 番原睦則, 宋剛秀 | |
| 16:00 - 17:00 | 1年間のフランス研究滞在とXCSP18参加 [PDF] |
| 宋剛秀 | |
| 17:30 - 21:30 | 今後の方針に関する議論 |
| 10月20日(土) | |
|---|---|
| 移動日 |
懇親会場
- 日時：2018年10月18日(木) 19時30分〜
- お店：料亭旅館 ホテル いさご 神戸
- 住所: 〒651-0056 神戸市中央区熊内町4-3-7
- TEL: 078-241-0135
- URL: http://www.isago.co.jp/
- アクセス: 新神戸駅から歩いて5分です．詳細は以下を御覧ください．
- 参加者: 番原睦則，井上克巳，鍋島英知，田村直之，宋剛秀