第12回 CSPSAT研究会 — THE FINAL —

Last updated at Time-stamp: <2012-03-25 04:04:13 banbara>

開催情報

日時:2012年3月19日(月) 〜 21日(水)
用務先:由布市 湯布院公民館 視聴覚室 (地図)
用務地:〒879-5102 大分県由布市湯布院町川上3758-1 (TEL: 0977-84-2604)

宿泊情報

宿泊先由布両築
宿泊地:〒879-5102 大分県由布市湯布院町川上1097-1 (TEL:0977-85-2526)

プログラム

プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.

3月19日(月)

14:00 〜 16:00 研究発表 (30分 x 2件 + 60分)
確率的制約充足問題への統計的アプローチ [PDF]
細部博史
DeQED: 双対変数の値を交換する分散制約最適化アルゴリズム [PDF] [PPTX]
波多野大督
列生成法を用いた提携型ゲームのコア非空性判定アルゴリズム [PDF] [PPTX]
平山勝敏
16:00 〜 16:30 休憩
16:30 〜 18:00 研究発表 (45分 + 30分)
Anatomy of Cardinality Constraints [PDF]
長谷川隆三
Non-monotone Dualization via Monotone Dualization [Canceled]
山本泰生
19:30 〜 会食

3月20日(火)

09:30 〜 11:30 研究発表 (30分 x 4件)
局所対称性除去による CDCL ソルバーの効率化 [PDF]
金澤 潤二,鍋島 英知
並列SATソルバ c-sat のマルチスレッド化とその応用 [PDF]
徐暁雋
基数制約ソルバを用いた partial MaxSAT ソルバの実装と評価 [PDF] [PPTX]
鈴木祥之
極小モデル生成器 MiniMG の高速化手法の開発と評価 [PDF] [PPTX]
佐々木佑介,矢野明浩
11:30 〜 13:00 昼食
13:00 〜 14:30 研究発表 (60分 + 30分)
Marginal Contribution Network の記述量に関する考察 [PDF] [PPTX]
横尾真
提携構造形成問題の MaxSAT 符号化 [PDF] [PPTX]
越村三幸
14:30 〜 15:00 休憩
15:00 〜 16:30 研究発表 (30分 x 3件)
学習節評価値 VANR とその評価 [PDF] [PPTX]
安本猛
Azucar: コンパクト順序符号化を用いた SAT 型制約ソルバー [PDF]
丹生智也,田村直之,番原睦則
SAT技術を用いた代謝パスウェイの解析: まとめと今後の課題 [PDF] [PPTX]
宋剛秀,井上克巳
16:30 〜 17:00 議論・報告など
  • 今後の活動について
  • 最終成果報告書の作成について
  • その他報告
19:00 〜 会食

3月21日(水)

10:00 〜 11:00 まとめ
CSPSAT プロジェクト4年間の総括
田村直之 [PDF]

参加者 (H24.03.14現在,23名)

神戸大
田村直之,平山勝敏,番原睦則,波多野大督,丹生智也,花田研太
国立情報学研究所
井上克巳(1),細部博史
山梨大
岩沼宏治(5),鍋島英知,山本泰生,金澤潤二
九州大
長谷川隆三,横尾真(2),藤田博,越村三幸, 安本猛(3),佐々木佑介(4), 奥川巧(3)
早大
徐暁雋,鈴木祥之
徳山高専
力規晃
新領域融合研究センター
宋剛秀

備考:(1) 19日のみ参加 (宿は別,会食は参加), (2) 19日夕方に到着, (3) 20日から参加, (4) 19日夜に到着,19日の夕食なし (5) 20日のみ参加 (宿は別,会食は参加)

その他