第3回CSPSAT2研究会
共催: ERATO湊離散構造処理系プロジェクト
概要
- 会議名
- 第3回CSPSAT2研究会
- 日程
- 2013年7月26日(金)
- 用務先
- 北海道大学 工学部C304 ERATOセミナ室
- 用務地
- 〒060-0814 北海道札幌市北区北14条西9丁目
- 共催
プログラム
論理と推論の理論,実装,応用に関する合同セミナー (7月24,25日) に続いての開催になります.
7月26日(金) | |
---|---|
10:00 - 10:10 | オープニング |
10:10 - 10:40 | Non-monotone Dualization in BDD [PDF] Yoshitaka Yamamoto, Koji Iwanuma, and Hidetomo Nabeshima |
10:40 - 11:10 | A BDD-Based Algorithm for Learning from Interpretation Transition [PDF] (PDFは限定公開) Tony Ribeiro, Katsumi Inoue, and Chiaki Sakama |
11:10 - 11:40 | Prefix確率を用いたプラン認識のWebアクセスログ解析への応用 [PDF] [PPTX] 小島諒介, 佐藤泰介 |
11:40 - 13:00 | 昼食 |
13:00 - 13:30 | フカシギおねえさん問題の高速計算アルゴリズム [PDF] 岩下洋哲, 中澤吉男, 川原純, 宇野毅明, 湊真一 |
13:30 - 14:00 | 記述計算量とSATソルバによる帰着の発見 [PDF] Charles Jordan and Łukasz Kaiser |
14:00 - 14:30 | 二分決定グラフに基づく大規模ハイパーグラフの双対化 [PDF] [PPTX] 戸田貴久, 湊真一 |
14:30 - 14:40 | 休憩 |
14:40 - 15:10 | Using MaxSAT to Correct Errors in AES Key Schedule Images [PDF] [PPTX] Xiaojuan Liao, 越村三幸, 藤田博, 長谷川隆三 |
15:10 - 15:40 | Modeling and Algorithm for Dynamic MO-DCOPs [PDF] Tenda Okimoto, Maxime Clement, and Katsumi Inoue |
15:40 - 15:50 | 休憩 |
15:50 - 16:20 | PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding [PDF] Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh |
16:20 - 16:50 | On-demand Binary Resolvent Addition [PDF] (PDFは限定公開) 鍋島英知 |
16:50 - 17:00 | 休憩 |
17:00 - 17:30 | Multi-MaxSATを拡張したWeighted Partial Max-SAT Solver [PDF] [PPTX] 花田研太, 平山勝敏 |
17:30 - 18:00 | SAT 2013 参加記 [PDF] 宋剛秀 |
18:00 - 19:30 | 夕食 |
19:30 - 21:30 | これからの研究方針と活動についての打合せ |
参加者
- ERATO湊離散構造処理系プロジェクト
- 湊真一, 白井康之, 岩下洋哲, 戸田貴久, Charles Jordan, 中元政一
- 国立情報学研究所
- 井上克巳, 沖本天太
- 総合研究大学院大学
- Tony Ribeiro
- 東京工業大学
- 佐藤泰介, 小島諒介
- 山梨大学
- 鍋島英知, 山本泰生
- 神戸大学
- 田村直之, 平山勝敏, 宋剛秀, 花田研太
- 九州大学
- 長谷川隆三, 越村三幸, Xiaojuan Liao
その他
- 遠方の方で,ハンドアウト等の配布物がありましたら,ファイル(PDF)と部数を幹事までお送りください. こちらで印刷して会場にお持ちします.
- 研究会終了後,発表資料は,本Webページに(認証付き)で公開させていただきます.