CSPSAT合同ミーティング
会議情報
- 日程
- 2016年6月1日(水), 2日(木)
- 会議名
- CSPSAT合同ミーティング
- (6月1日: レジリエンス/COP/CSPASP)
- (6月2日: CSPSAT3)
- CSPSAT合同ミーティング
- 用務先
- 6月1日: 神戸大学 深江キャンパス 2号館 沖本研究室 (301号室)
- 〒658-0022 神戸市東灘区深江南町5丁目1-1
- 6月2日: 神戸大学 六甲台キャンパス 自然科学総合研究棟3号館(東)4F
渕野グループ プレゼンテーション室(421号室)
- 〒657-8501 兵庫県神戸市灘区六甲台町1-1
- 6月1日: 神戸大学 深江キャンパス 2号館 沖本研究室 (301号室)
- サポート
- 科研・基盤Bプロジェクト SATを基盤とした新しい制約プログラミングシステムの研究開発
- 科研・基盤Cプロジェクト SAT符号化を用いた制約解集合プログラミングに関する研究開発
- 科研・基盤Bプロジェクト レジリエントなシステムのモデル化と推論に関する研究
プログラム
- プログラムは下記の通りですが，発表の進行状況に合わせて柔軟に進めたいと思います．
| 6月1日(水) | @神戸大学・深江キャンパス |
|---|---|
| JSAI セッション | |
| 14:00-14:30 | 分散制約充足問題：大域的な決定に影響を及ぼすエージェントの特定に関する一検討 |
| 浦地勇人, 沖本天太, Nicolas Schwind, 平山勝敏, 井上克巳 | |
| 14:30-15:00 | Distributed Stochastic Search Algorithm for n-Ship Collision Avoidance |
| Dong-Gyun Kim, Katsutoshi Hirayama, Tenda Okimoto | |
| Team Formation セッション | |
| 15:00-15:30 | AmorCSG : 進捗報告 |
| 岸田有平, 沖本天太, Nicolas Schwind, 平山勝敏, 井上克巳, Pierre Marquis | |
| 15:30-16:00 | Recoverable Team Formation |
| Emir Demirović, Maxime Clement, Nicolas Schwind, Ttenda Okimoto, Katsumi Inoue | |
| Disaster セッション | |
| 16:00-17:00 | Overview : Intelligent Disaster Logistics Support System |
| Tenda Okimoto, Hiroki Sakai, Etsuko Nishimura | |
| OR セッション | |
| 17:00-17:30 | MO-NRP : Progress Report |
| Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue | |
| 17:30-18:00 | MaxSAT-Based Large Neighborhood Search for High School |
| Emir Demirović, Nysret Musliu | |
| 18:00-18:30 | \(\Sigma\)-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems |
| Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara | |
| 19:30 - | Discussion |
| 6月2日(木) | @神戸大学・六甲台キャンパス |
|---|---|
| 10:00-10:30 | CSPSAT3 プロジェクトの概要 |
| 田村直之 | |
| 10:30-11:00 | 2016年度の講演会・研究会スケジュールの議論 |
| 11:00-12:00 | 分散並列 SAT ソルバにおける問題分割手法の検討 (#1) |
| 制約最適化問題のための分散並列解法の検討 (#2) | |
| 高見明秀(#1)，楠剛毅(#2)， 鍋島英知 (#12) | |
| 12:00-12:30 | Modeling and Solving Staff Scheduling with Partial Weighted maxSAT |
| Emir Demirović, Nysret Musliu, and Felix Winter. | |
| 昼休み | |
| 14:00-14:30 | SAT型制約ソルバーによるナンバーリンクの解法とその評価 |
| 迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知 | |
| 14:30-15:00 | SATソルバーを用いた部分グラフ探索のための制約モデル |
| 川原征大, 宋剛秀, 番原睦則, 田村直之 | |
| 15:30-17:00 | 今後の研究計画に関する議論 |
参加者 (1日目，2日目合計)
- 国立情報学研究所
- 井上克巳, Maxime Clement
- 山梨大学
- 鍋島英知
- 神戸大学
- 田村直之, 番原睦則, 平山勝敏, 沖本天太, 金東均, 呉詩敏, 岸田有平, 伊角愛結, 浦地勇人, 川原征大, 迫龍哉, 寸田智也, 南雄之, 坡山直樹, 吉玉元和, 宋剛秀
- Vienna University of Technology
- Emir Demirović