第2回 CSPSAT研究会

最終更新日:2008年11月

開催情報

日時:2008年12月1日(月) 〜 2日(火)
用務先:国立情報学研究所
用務地:〒101-8430 東京都千代田区一ツ橋2-1-2
会場へのアクセス
会場の詳細情報:
12月1日(月): 学術総合センター(12階) 国立情報学研究所 会議室1210
12月2日(火): 学術総合センター(2階) 共用施設 会議室203
(注意1) 国立情報学研究所のある学術総合センターには, 高層棟と低層棟の建物がありますが, 「学術総合センター」と書かれた高層棟入口からお入りください.
(注意2) 両日とも各会議室に直接お集りください.
参加者 (計16名,順不同・敬称略)
神戸大
田村直之,平山勝敏,番原睦則,丹生智也(学生),インディラ(学生)
NII,総研大
井上克巳,宋剛秀(学生)
山梨大
岩沼宏治,鍋島英知,高見明秀(学生),
九州大
長谷川隆三,越村三幸,鹿田憲秀(学生),谷口清則(学生),福原正浩(学生)
徳山高専
力規晃

プログラム

12月1日 (月)

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 懇親会

12月2日 (火)

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 まとめ,閉会

懇親会

日時:2008年12月1日(月) 18:30 〜 21:00
お店:へぎそば こんごう庵
[地図]: NIIから徒歩7分,地下鉄都営新宿線神保町駅A5出口より徒歩1分
参加費:7000円(教員・社会人),3000円(学生)
参加者 (計15名,順不同・敬称略)
神戸大
田村直之,平山勝敏,番原睦則,丹生智也(学生),インディラ(学生)
NII,総研大
井上克巳,宋剛秀(学生)
山梨大
鍋島英知,高見明秀(学生),
九州大
長谷川隆三,越村三幸,鹿田憲秀(学生),谷口清則(学生),福原正浩(学生)
徳山高専
力規晃