/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H4-OS-03a オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (1)」

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 15:20~17:05 H会場(5F北-小講義室 (583))
座長 横尾 真(九州大学)

発表一覧

時間 15:20~16:00
題目 2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題
著者 湊 真一(北海道大学 大学院 情報科学研究科)
論文 PDFファイル

時間 16:05~16:25
題目 2H4-OS-03a-2 BDD構築技術を応用した組合せ最適化の一手法
著者 岩下 洋哲(富士通研究所)
論文 PDFファイル

時間 16:25~16:45
題目 2H4-OS-03a-3in BDDに基づくALLSATソルバーを用いたアイテムセットマイニング
著者 戸田 貴久(電気通信大学 大学院 情報システム学研究科)
津田 宏治(東京大学大学院新領域創成科学研究科)
論文 PDFファイル

時間 16:45~17:05
題目 2H4-OS-03a-4 Max-SATに対する非厳密解法を用いたラグランジュ分解・調整法
著者 花田 研太(神戸大学大学院海事科学研究科,学術振興会特別研究員 (DC2))
平山 勝敏(神戸大学大学院海事科学研究科)
沖本 天太(神戸大学大学院海事科学研究科)
論文 PDFファイル