第1回 CSPSAT研究会

最終更新日:2008年8月

開催情報

日時:2008年8月21日(木) 〜 22日(金)
用務先:神戸大学 自然科学総合研究棟3号館(東) 4F
新井プロジェクト プレゼンテーション室(421号室) (アクセス方法)
用務地:〒657-8501 兵庫県神戸市灘区六甲台町1-1
最寄り駅:(JR東海道・山陽本線)六甲道 or (阪急神戸本線)六甲
参加者 (計19名,順不同・敬称略)
神戸大
田村直之,平山勝敏,番原睦則,丹生智也(学生), インディラ(学生),櫻井広基(学生),中田裕一(学生)
NII,総研大
井上克巳,宋剛秀(学生)
山梨大
岩沼宏治,鍋島英知,高見明秀(学生),
九州大
横尾真,長谷川隆三,藤田博,越村三幸, 鹿田憲秀(学生),谷口清則(学生)
徳山高専
力規晃

プログラム

8月21日 (木)

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

8月22日 (金)

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

懇親会

日時:2008年8月21日(木) 19:30 〜
お店:七輪炭焼 一徳
〒657-0027 神戸市灘区永手町3丁目4-18
TEL: (078) 842-5030
参加費:7000円(教員・社会人),3000円(学生)
参加者 (計16名,順不同・敬称略)
神戸大
田村直之,平山勝敏,番原睦則,丹生智也(学生)
NII,総研大
井上克巳,宋剛秀(学生)
山梨大
岩沼宏治,鍋島英知,高見明秀(学生)
九州大
横尾真,長谷川隆三,藤田博,越村三幸, 鹿田憲秀(学生),谷口清則(学生)
徳山高専
力規晃