第4回 CSPSAT研究会

最終更新日：2009年7月6日

開催情報

日時：2009年7月28日(火) 〜 30日(木)
用務先：ホテルニューアワジ プラザ淡路島 会議室 (会場へのアクセス)
用務地：〒656-0542 兵庫県南あわじ市阿万吹上

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

神戸大
田村直之，平山勝敏，番原睦則，丹生智也 (学生)
NII，総研大
井上克巳，宋剛秀 (学生)
山梨大
岩沼宏治，鍋島英知，山本泰生，三澤隆造 (学生)，金澤潤二 (学生)
九州大
長谷川隆三，藤田博，越村三幸
徳山高専
力規晃

プログラム

7月28日(火)

15:00 〜 17:00 研究発表
SAT問題への変換を用いたパスウェイの解析 [PDF]
宋剛秀，井上克巳
グラフ彩色問題に対する種々のSAT変換手法の比較と評価
丹生智也，田村直之，番原睦則
17:00 〜 17:30 休憩
17:30 〜 18:30 研究発表
Compact Order Encoding に向けて [PDF]
田村直之
18:30 〜 19:30 夕食
19:30 〜 21:30 デモ・セッション(1)

7月29日(水)

09:30 〜 11:30 研究発表
値変更コストを伴う動的（Weighted Max-）SAT問題に対する新解法の提案 [PDF] [PPT]
平山勝敏
ラムゼー数探索 [PDF] [PPTX]
藤田博
11:30 〜 13:00 昼食・休憩
13:00 〜 15:00 研究発表
SATSHOPで未解決ベンチマークに挑戦 [PPTX]
越村三幸
結論発見器 SOLAR の紹介 [PDF]
鍋島英知
15:00 〜 15:30 休憩
15:30 〜 17:30 研究発表
Nonmonotone dualization by enumeration of the minimal hitting sets
山本泰生
BDD上のEMアルゴリズムを用いた仮説評価 [PDF]
井上克巳
17:30 〜 18:30 今後の方針についての議論
Jussien教授 (Ecole des Mines de Nantes) の招聘について
18:30 〜 19:30 夕食
19:30 〜 21:30 デモ・セッション(2)

7月30日(木)

09:30 〜 11:30 特集記事についての進捗報告・議論
11:30 〜 12:00 まとめ，閉会

その他