第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:40Non-monotone Dualization in BDD [PDF]
Yoshitaka Yamamoto, Koji Iwanuma, and Hidetomo Nabeshima
10:40 - 11:10A BDD-Based Algorithm for Learning from Interpretation Transition [PDF] (PDFは限定公開)
Tony Ribeiro, Katsumi Inoue, and Chiaki Sakama
11:10 - 11:40Prefix確率を用いたプラン認識の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:10Using MaxSAT to Correct Errors in AES Key Schedule Images [PDF] [PPTX]
Xiaojuan Liao, 越村三幸, 藤田博, 長谷川隆三
15:10 - 15:40Modeling and Algorithm for Dynamic MO-DCOPs [PDF]
Tenda Okimoto, Maxime Clement, and Katsumi Inoue
15:40 - 15:50休憩
15:50 - 16:20PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding [PDF]
Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
16:20 - 16:50On-demand Binary Resolvent Addition [PDF] (PDFは限定公開)
鍋島英知
16:50 - 17:00休憩
17:00 - 17:30Multi-MaxSATを拡張したWeighted Partial Max-SAT Solver [PDF] [PPTX]
花田研太, 平山勝敏
17:30 - 18:00SAT 2013 参加記 [PDF]
宋剛秀
18:00 - 19:30夕食
19:30 - 21:30これからの研究方針と活動についての打合せ

参加者

  • ERATO湊離散構造処理系プロジェクト
    • 湊真一, 白井康之, 岩下洋哲, 戸田貴久, Charles Jordan, 中元政一
  • 国立情報学研究所
    • 井上克巳, 沖本天太
  • 総合研究大学院大学
    • Tony Ribeiro
  • 東京工業大学
    • 佐藤泰介, 小島諒介
  • 山梨大学
    • 鍋島英知, 山本泰生
  • 神戸大学
    • 田村直之, 平山勝敏, 宋剛秀, 花田研太
  • 九州大学
    • 長谷川隆三, 越村三幸, Xiaojuan Liao

その他

  • 遠方の方で,ハンドアウト等の配布物がありましたら,ファイル(PDF)と部数を幹事までお送りください. こちらで印刷して会場にお持ちします.
  • 研究会終了後,発表資料は,本Webページに(認証付き)で公開させていただきます.

Date: 2013-08-03 19:04:42 JST

Author: Takehide Soh

Org version 7.8.11 with Emacs version 23

Validate XHTML 1.0