14:00 〜 15:30 | 研究発表 |
The Use and Implementation of Global Constraints in B-Prolog
[abstract]
[PDF]
[PPT] Neng-Fa Zhou |
|
命題論理に基づく確率モデルのためのBDDとOrder encodingを用いた効率的なEMアルゴリズム (An EM algorithm on BDDs with order encoding for logic-based probabilistic models) [PDF] [PPTX] 石畠 正和 |
|
15:30 〜 16:00 | 休憩 |
16:00 〜 18:00 | 研究発表 (English Session) |
A Stepwise Approach to the Minimal Active-pathway Finding Problem
[PDF] Takehide Soh and Katsumi Inoue |
|
Partition-Based Consequence Finding for Problem Decomposition
[PDF]
[PPT] Gauvain Bourgne and Katsumi Inoue |
|
A Hybrid Particle Swarm Optimization Algorithm HPTS for the Flow-Shop Scheduling Problem
[PDF]
[PPTX] 張 雪峰 |
|
19:00 〜 | 会食 |
10:00 〜 12:00 | 研究発表 |
整数有限領域上の線形の制約充足問題のコンパクトかつ効率的なSAT符号化へ向けて
[PDF] 丹生 智也,田村 直之,番原 睦則 |
|
基数制約を表す特殊節を含む拡張CNFの導入
[PDF]
[PPTX] 山根 裕二 |
|
並列SATソルバc-satw の高速化に向けた調査と実装変更
[PDF]
[PPTX]徐 暁雋 (ジョ ギョウジュン) |
|
12:00 〜 13:30 | 昼食 |
13:30 〜 15:00 | 研究発表 |
複数の背景理論の結合決定手続きとその効率化について
[PDF] 岩沼 宏治 |
|
列挙アルゴリズムを用いた非単調双対化問題の解法について (A Preliminary Report on Non-monotone Dualization using MHS enumeration) [PDF] [PPT] 山本 泰生 |
|
JSSPによるGlueMiniSat2.2.0の評価
[PDF]
[PPTX] 越村 三幸,鍋島 英知 |
|
15:00 〜 15:30 | 休憩 |
15:30 〜 17:00 | 研究発表 |
値変更コスト付き動的CSPの基本構想
[PDF]
[PPTX] 波多野 大督,平山 勝敏 |
|
モンテカルロゲーム木探索に基づく限量記号付き制約充足問題の実時間解決
[PDF]
[PPTX] 馬場 里美 |
|
誘導幅に基づく分散制約最適化問題の精度保証付き近似解法の提案
[PDF]
[PPTX] 沖本 天太 |
|
17:00 〜 18:00 | 今後の方針についての議論 |
19:00 〜 | 会食 |
10:00 〜 10:30 | 研究発表 |
B-Prologのブール制約ソルバーを利用したMGTPの効率化
[PDF]
[PPTX] 安 宣烨 |
|
10:30 〜 11:00 | JSAI 2011 オーガナイズドセッションに関する報告 とお願い |
11:00 〜 12:00 | まとめ,閉会 |