第2回CSPSAT2研究会

CSPSAT2

開催情報

日程: 2013年3月14日(木)-15日(金) (13日前泊)
用務先: 唐津市民交流プラザ・第2会議室
用務地: 〒847-0013 佐賀県唐津市南城内1番1号 大手口センタービル3階 (JR唐津駅から徒歩10分)
アクセス: 福岡空港，佐賀空港から鉄道がご利用頂けます．詳しくはアクセスマップをご参照ください．

宿泊情報

宿泊先: 旅館 綿屋
宿泊地: 〒847-0012 佐賀県唐津市大名小路5-10
宿泊料金: 13000円程度 (朝・夕食込み, 4人部屋) ※夕食のみの利用は5000円程度

プログラム

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

3月14日(木)

09:30 - 09:40 オープニング
09:40 - 10:10 研究発表
PBSugar: A SAT-based Pseudo-Boolean Solver [PDF]
Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
10:10 - 10:20 休憩
10:20 - 11:20 研究発表
QMaxSAT = SATソルバー + 基数制約の符号化 [PDF] [PPTX]
越村三幸
部分MaxSATソルバーにおけるModulo式に基づくCNF-Encoding方式の提案と評価 [PDF]
小川徹，長谷川隆三
11:20 - 13:00 昼食
13:00 - 14:30 研究発表
SCSatを用いたラムゼー数の下界更新について [PDF] [PPTX] (追加資料: [PDF] [PPTX])
藤田博
Lazy Clause Simplification based on Probing Techniques [PDF]
Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
A Study for Solving Dynamic MO-DCOPs [PDF]
Tenda Okimoto and Katsumi Inoue
14:30 - 14:50 休憩
14:50 - 16:20 研究発表
MO-DCOP for Cyber Security Problems [PDF]
Tony Ribeiro, Tenda Okimoto, Katsumi Inoue, and Naoto Ikegai
An Overview of Sensitivity Analysis for Dynamic Models [PDF] [PPT]
Hei Chan
A Majority Merging Procedure Within Affine Spaces: A Logic-Based Approach [PDF]
Nicolas Schwind, Jean-François Condotta, Souhila Kaci, and Pierre Marquis
16:20 - 16:30 休憩
16:30 - 18:00 研究発表
Using ASP to Build Signalling Networks [PDF]
Adrien Rougny and Christine Froidevaux
ASP for Embedded Systems through Model Checking [PDF]
Alexandre Rocca
Uplink Scheduling for the Cassini Satellite [PDF] [PPTX]
Earl Patrick Bellinger
19:00 - 夕食

3月15日(金)

09:00 - 10:30 研究発表
MaxSATソルバを用いた帰納学習手法
力規晃
SAT符号化を用いたパッキング配列の構成：新しい実験結果とASP符号化 [PDF]
則武治樹，番原睦則，宋剛秀，田村直之，井上克巳
正方形詰込み問題の制約モデルとSAT符号化を用いた解法 [PDF]
佐古田淳史，宋剛秀，番原睦則，田村直之
10:30 - 10:40 休憩
10:40 - 11:10 研究発表
Towards Analyzing Satisfiability of Boolean Functions with Fourier Transforms [PDF]
Yoshitaka Yamamoto, Tomoki Miyagi, Koji Iwanuma
11:20 - 12:30 今後の方針についての議論

参加者

神戸大
田村直之, 番原睦則, 宋剛秀, 則武治樹, 佐古田淳史
国立情報学研究所
井上克巳, Nicolas Schwind
山梨大
鍋島英知, 山本泰生
九州大
長谷川隆三, 藤田博, 越村三幸, 小川徹, 廖暁鵑, 劉洋洋
徳山高専
力規晃
新領域融合研究センター
沖本天太, Hei Chan
総合研究大学院大学
Tony Ribeiro
Grenoble INP Ensimag
Alexandre Rocca
Indiana University Bloomington
Earl Patrick Bellinger
INRIA Saclay
Adrien Rougny

その他