14:00 〜 16:30 | 研究発表 (English Session) |
Finding Minimal Reaction Sets in Large Metabolic Pathways
[PDF]
[PPTX]
Takehide Soh and Katsumi Inoue |
|
Towards a Compact and Efficient SAT-encoding of Finite Linear CSP
[PDF]
Tomoya Tanjo, Naoyuki Tamura, and Mutsunori Banbara |
|
A hybrid particle swarm optimization algorithm HPTS for the flow-shop scheduling problem
[PDF]
[PPTX]
Xue-Feng Zhang |
|
18:30 〜 | 夕食 |
09:00 〜 10:30 | 研究発表 (English Session) |
Towards Efficient Multi-agent Abduction
[PDF]
Gauvain Bourgne, Katsumi Inoue and Nicolas Maudet |
|
Application of Meta-level Abduction on the Renin-Angiotensin Pathway with SOLAR
[PDF]
Gregoire Lejay and Katsumi Inoue |
|
Distributed Consequence Finding using SOLAR
[PDF]
Charlotte Viel, Gauvain Bourgne and Katsumi Inoue |
|
10:30 〜 11:00 | 休憩 |
11:00 〜 12:00 | 研究発表 |
SugarのScalaインターフェイスについて
[PDF]
田村直之 |
|
Minisat2.2 + glucose1.0 + α
[PDF]
[PPTX]
鍋島英知 |
|
12:00 〜 13:30 | 昼食 |
13:30 〜 15:00 | 研究発表 |
QMaxSAT: Q-dai Max SAT Solver
[PDF]
[PPTX]
越村三幸 |
|
SAT技術を用いた組合せテストケース生成
[PDF]
番原睦則,松中春樹,田村直之,井上克巳 |
|
極小モデル生成器MiniMGの性能評価
[PDF]
[PPTX]
中村徹,長谷川隆三 |
|
15:00 〜 15:30 | 休憩 |
15:30 〜 16:30 | 研究発表 |
研究グループ紹介
[PDF]
[PPTX]
上田和紀 |
|
並列SATソルバ c-satw とその改良に向けて
[PDF]
鈴木宏史,上田和紀 |
|
並列プランナCP2の実装と評価
[PDF]
村岡崇章,上田和紀 |
|
16:30 〜 18:30 | 今後の方針についての議論 |
18:30 〜 | 夕食 |
09:00 〜 10:30 | 研究発表 |
値変更コスト付き動的SATのためのモデル追跡
[PDF]
[PPTX]
波多野大督,平山勝敏 |
|
整数線形制約からPB制約へのUnary表現に基づく符号化の改良
[PDF]
[PPTX]
三澤隆造,鍋島英知 |
|
10:30 〜 11:00 | まとめ,閉会 |