第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 | 次年度の研究計画 |
参加者
- 国立情報学研究所
- 井上克巳
- 山梨大学
- 鍋島英知, 藤井樹, 藤江柊輔
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 寸田智也, 南雄之, 坡山直樹