第8回 CSPSAT研究会

Last updated at Time-stamp: <2010-12-23 13:53:24 banbara>

開催情報

日時:2010年12月21日(火) 〜 23日(木)
用務先 九州大学西新プラザ「中会議室」 (会場へのアクセス)
用務地:〒814-0002 福岡市早良区西新2-16-23
主催:九州大学 システム情報科学研究院 長谷川研究室・横尾研究室

ホテル選びのポイント

プログラム

12月21日(火)

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 〜 会食

12月22日(水)

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 〜 会食

12月23日(木)

10:00 〜 10:30 研究発表
B-Prologのブール制約ソルバーを利用したMGTPの効率化 [PDF] [PPTX]
安 宣烨
10:30 〜 11:00 JSAI 2011 オーガナイズドセッションに関する報告 とお願い
11:00 〜 12:00 まとめ,閉会

参加者 (30名)

神戸大
田村直之,平山勝敏,番原睦則,丹生智也,波多野大督
NII,総研大
井上克巳,宋剛秀,Gauvain Bourgne
山梨大
岩沼宏治(b),鍋島英知,山本泰生
九州大
長谷川隆三,横尾真(b),藤田博,越村三幸,張雪峰,中村徹(c), 李杰甫(c)
張彤(c), 矢野明浩(c), 安宣烨(b), 佐々木佑介(c), 明石裕子(c)
沖本天太,馬場里美(b)
早大
山根裕二,徐暁雋
東工大
石畠正和
徳山高専
力規晃
CUNY Brooklyn College andn Graduate Center
Neng-Fa Zhou

備考:(b) 22日の会食参加,(c) 会食不参加

会食

12月21日(火) 19:00 〜

お店博多 Dining 芋 (中洲店)
092-263-0038
福岡市博多区中洲4-2-5 22ラインビル
地下鉄空港線中洲川端駅より徒歩5分

12月22日(水) 19:00 〜

お店博多・中洲 魚魚や
092-262-0002
福岡市博多区中洲5-2-3 松居壱番館2F
地下鉄中洲川端駅徒歩30秒

その他