第3回 CSPSAT研究会

最終更新日：2009年3月3日

開催情報

日時：2009年3月12日(木) 〜 14日(土)
用務先：九州大学西新プラザ「中会議室」 (会場へのアクセス)
用務地：〒814-0002　福岡市早良区西新2-16-23
主催：九州大学システム情報科学研究院長谷川研究室・横尾研究室

ホテル選びのポイント

会場は地下鉄西新駅の近くにあるので，地下鉄空港線沿線のホテルが便利．
駅でいうと，天神駅か中洲川端駅に近いホテルが便利
北天神(天神駅の北側)周辺が無難

参加者 (21名，順不同・敬称略)

神戸大: 田村直之，平山勝敏，番原睦則，丹生智也(学生)，Indira Bhusal Pandey(学生)
NII，総研大: 井上克巳，宋剛秀(学生)
山梨大: 岩沼宏治^a，鍋島英知^a，高見明秀(学生)，三澤隆造(学生)，榛葉祐太(学生)
九州大: 長谷川隆三^b，横尾真，藤田博^b，越村三幸，馬場里美(学生)，鹿田憲秀(学生)，谷口清則^c(学生)，福原正浩(学生)
徳山高専: 力規晃^d
(a)3/12夜到着，(b)3/12のみ，(c)3/14のみ，(d)3/12-13のみ

プログラム

プログラムは下記の通りですが，発表の進行状況に合わせて「柔軟」に進めたいと思います．

3月12日 (木)

14:00 〜 17:30	研究発表
14:00 〜 15:00	敵対者に対応する協調問題解決：限量記号付き分散制約充足問題馬場里美
15:00 〜 16:00	Weighted Max-SAT問題への変換を用いたフィードバックを含むパスウェイの解析宋剛秀，井上克巳
16:00 〜 16:30	休憩
16:30 〜 17:00	PrologからJavaへの新しいトランスレート方法の設計と実装丹生智也，番原睦則，田村直之
17:00 〜 17:30	違反節の選択ヒューリスティクスの改良による極小モデル生成器MM-MGTPの高速化鹿田憲秀
17:30 〜 18:00	2008年度業績の取りまとめについての議論
19:00 〜 21:00	懇親会

3月13日 (金)

10:00 〜 12:00	研究発表
10:00 〜 11:00	並列分散SATソルバに対する探索空間の分割手法の提案高見明秀
11:00 〜 11:30	制約充足ソルバSugarの順序制約を用いたSugar専用SATソルバの開発三澤隆造
11:30 〜 12:00	TBBを用いた単位節伝搬の並列化によるマルチコア環境用SATソルバの試作榛葉祐太
12:00 〜 13:30	昼食
13:30 〜 16:30	研究発表
13:30 〜 14:00	数独のSAT変換と並列化について力規晃
14:00 〜 14:30	ジョブショップスケジューリング問題の解法 -下界の取り込み- 越村三幸
14:30 〜 14:45	休憩
14:45 〜 15:15	モデル検査手法に基づくジョブショップスケジューリング問題へのアプローチ福原正治
15:15 〜 15:45	Study of Graph Coloring Problems using SAT-based approach [PDF] Indira Bhusal Pandey，田村直之
15:45 〜 16:00	休憩
16:00 〜 17:00	特集記事についての議論
17:00 〜 18:00	今後の方針についての議論

3月14日 (土)

10:00 〜 11:00	研究発表
10:00 〜 10:30	2リテラル節優先DPLL型SATソルバーにおける新しい変数選択方法とその評価谷口清則
10:30 〜 11:00	SAT変換に基づく制約ソルバーを用いたCovering arrayの構成に向けて [PDF] 番原睦則，丹生智也，田村直之
11:00 〜 12:00	まとめ，閉会

懇親会

日時：2009年3月12日(木) 19:00 〜 21:00
お店：雑魚屋福岡天神店: 〒810-0001 福岡県福岡市中央区天神2-14-8 福岡天神センタービルB1; TEL: 092-736-8351, 0120-614-488; 地下鉄空港線天神駅　1番出口　徒歩2分
参加費：7000円(教員・社会人)，3000円(学生)
参加者 (計20名，順不同・敬称略)：

神戸大
田村直之，平山勝敏，番原睦則，丹生智也(学生)，Indira Bhusal Pandey(学生)
NII，総研大
井上克巳，宋剛秀(学生)
山梨大
岩沼宏治，鍋島英知，高見明秀(学生)，三澤隆造(学生)，榛葉祐太(学生)
九州大
長谷川隆三，横尾真，藤田博，越村三幸，馬場里美(学生)，鹿田憲秀(学生)，福原正浩(学生)
徳山高専
力規晃