10:00 〜 12:00 | 討論会に向けた準備 |
12:00 〜 13:00 | 昼食 |
13:00 〜 14:00 | 自由討論 |
14:00 〜 18:00 | 研究発表 |
14:00 〜 15:00 |
パズルをSugar制約ソルバーで解く 田村直之 |
15:00 〜 15:30 |
Sugar++,及び今後の研究計画について 丹生智也 |
15:30 〜 15:45 | 休憩 |
15:45 〜 16:45 |
Multi-MaxSATの分散化とその課題 平山勝敏 |
16:45 〜 17:45 |
資源制約付き分散制約最適化:仮想変数を用いた実装 横尾真 |
18:00 〜 19:00 | 今後の方針について議論 |
19:30 〜 21:30 | 懇親会 |
10:00 〜 12:15 | 研究発表 |
10:00 〜 10:30 |
並列分散SATソルバのためのSAT問題分割手法の提案 高見明秀,鍋島英知 |
10:30 〜 11:00 |
Ramsey問題に挑戦 藤田博 |
11:00 〜 11:15 | 休憩 |
11:15 〜 11:45 |
MGTPを用いた極小モデル生成の性能調査 鹿田憲秀 |
11:45 〜 12:15 |
2リテラル節優先ソルバーの試作とその性能調査 谷口清則 |
12:15 〜 13:15 | 昼食 |
13:15 〜 15:30 | 研究発表 |
13:15 〜 13:45 |
SATソルバの並列分散実行について 越村三幸,力規晃 |
13:45 〜 14:45 |
SAT変換を用いた長方形詰込み問題の解法 宋剛秀,井上克巳 |
14:45 〜 15:15 |
Prolog Cafe バージョン1.1の紹介 番原睦則,丹生智也,田村直之 |
15:30 〜 16:00 | まとめ,閉会 |