09:00 〜 12:00 | ディスカッション |
12:00 〜 13:00 | 昼食 | 13:00 〜 17:00 | 研究発表 |
13:00 〜 14:00 |
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem 宋剛秀,井上克巳,田村直之,番原睦則,鍋島英知 |
14:00 〜 15:00 |
並列分散SATソルバのためのSAT問題分割手法の実装 高見明秀,鍋島英知,岩沼宏治 |
15:00 〜 15:30 | 休憩 |
15:30 〜 16:15 |
2リテラル節優先ソルバにおける新しい変数選択法 谷口清則 |
16:15 〜 17:00 |
MGTPを用いた極小モデル生成についての評価実験 鹿田憲秀,長谷川隆三 |
17:00 〜 18:00 | 今後の方針について議論 |
18:30 〜 21:00 | 懇親会 |
9:30 〜 11:30 | 研究発表 |
9:30 〜 10:30 |
SAT問題の節集合分割のための一手法とその評価 平山勝敏 |
10:30 〜 11:30 |
ジョブショップスケジューリング問題の解法の性能評価 越村三幸,福原正浩 |
11:30 〜 13:00 | 昼食 |
13:00 〜 15:30 | 研究発表 |
13:00 〜 14:00 |
Temporal Logic とモデルチェッキング(仮題) 岩沼宏治 |
14:00 〜 15:00 |
Sugar: A SAT-based CSP Solver 田村直之,丹生智也,番原睦則 |
15:00 〜 15:30 |
Sugar++: A SAT-based MAX-CSP/COP Solver 丹生智也,田村直之,番原睦則 |
15:30 〜 16:00 | まとめ,閉会 |