第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分です.詳細は以下を御覧ください.
- 参加者: 番原睦則,井上克巳,鍋島英知,田村直之,宋剛秀