第3回CSPSAT3研究会・第7回CSPASP研究会 合同研究会
会議情報
- 日程
- 2017年3月15日(水), 16日(木)
- 会議名
- 第3回CSPSAT3研究会・第7回CSPASP研究会 合同研究会
- 用務先
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F
渕野グループ 会議室420
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
- 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F
渕野グループ 会議室420
プログラム
- プログラムは下記の通りですが,発表の進行状況に合わせて柔軟に進めたいと思います.
3月15日(水) | @神戸大学・六甲台キャンパス |
---|---|
15:30-16:30 | 同順位を含む研究室配属問題の CSP ソルバーによる解法の検討 [PPTX] |
藤井 樹,伊藤 靖展,鍋島 英知 | |
16:40-17:40 | ポートフォリオ型SATソルバーのための分類器の構築手法 [PPTX] |
藤江 柊輔,鍋島 英知 | |
17:50-18:50 | 制約充足問題のASP符号化に関する一考察 [PDF] |
坡山 直樹, 番原 睦則, 宋 剛秀, 田村 直之 |
3月16日(木) | @神戸大学・六甲台キャンパス |
---|---|
10:00-11:00 | ブール基数制約を経由した擬似ブール制約のSAT符号化法 [PDF] |
南 雄之,宋 剛秀,番原 睦則,田村 直之 | |
11:00-12:00 | SAT 技術を用いたペトリネットのデッドロック検出手法の提案 |
寸田 智也,宋 剛秀,番原 睦則,田村 直之 [PDF] | |
12:00-13:00 | (休憩) |
14:00-15:00 | 次年度の研究計画 |
参加者
- 国立情報学研究所
- 井上克巳
- 山梨大学
- 鍋島英知, 藤井樹, 藤江柊輔
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 寸田智也, 南雄之, 坡山直樹