プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.
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 〜 | 会食 |
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 〜 | 会食 |
10:00 〜 11:00 | まとめ |
CSPSAT プロジェクト4年間の総括 田村直之 [PDF] |