| 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 | まとめ，閉会 |
