第7回 CSPSAT研究会

最終更新日:2010年7月23日

開催情報

日時:2010年7月26日(月) 〜 7月28日(水)
用務先横谷温泉旅館会議室
用務地:〒391-0301 長野県茅野市北山5513

アクセスと送迎バス

参加者 (25名,順不同・敬称略)

神戸大
田村直之,平山勝敏,番原睦則,丹生智也,波多野大督
NII,総研大
井上克巳,宋剛秀,Gauvain Bourgne
山梨大
岩沼宏治,鍋島英知,山本泰生,三澤隆造
九州大
長谷川隆三,横尾真,藤田博,越村三幸,張雪峰,中村徹
早大
上田和紀,鈴木宏史,村岡崇章,山根裕二,Muhammad Qassim
Unversite Pierre et Marie Curie, NII
Gregoire Lejay, Charlotte Viel

プログラム

7月26日(月)

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

7月27日(火)

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

7月28日(水)

09:00 〜 10:30 研究発表
値変更コスト付き動的SATのためのモデル追跡 [PDF] [PPTX]
波多野大督,平山勝敏
整数線形制約からPB制約へのUnary表現に基づく符号化の改良 [PDF] [PPTX]
三澤隆造,鍋島英知
10:30 〜 11:00 まとめ,閉会

その他