09 2019/10 11
29300102030405
06070809101112
13141516171819
20212223242526
27282930310102
Click セミナー

過去のセミナー

開催日2019年9月18日(水曜日)
開催時間15時00分-16時00分
発表者宋 剛秀 
発表者の紹介神戸大学情報基盤センター
タイトルSAT型CSPソルバー: Fun-sCOP 
発表の概要
制約充足問題 (CSP) は, 与えられたすべての制約を充足する値割当てを求める問題である. CSP には人工知能およびオペレーションズ・リサーチにおける幅広い応用があり,CSP を解くためのプログラム (CSPソルバー) が活発に研究開発されている.
Fun-sCOP は発表者らが開発中のSAT型CSPソルバーであり, CSP をSAT問題へと符号化し, SATソルバーを用いて解を求める. 符号化の過程では, MDD 等の Decision Diagram を制約の中間表現として用いることもある. 本発表では, CSPソルバーに関する近年の動向を簡単に説明した後, 発表者らが開発中の CSP ソルバー Fun-sCOP についてその詳細を例を用いながら説明する.
開催場所VBL301B
接続サイト神田ラボ,京大ラボ
開催時間16時00分-17時00分
発表者戸田 貴久 
発表者の紹介電気通信大学
タイトルSATサンプリングとその周辺 
発表の概要
命題論理式の充足割り当てを一様ランダムにサンプリングする手法について、XOR制約を用いる手法を中心に解説する。
また、組合せ問題の解のサンプリングへ応用する際の問題点や解決策などについて、現在検討していることについても紹介したい。
開催場所VBL301B
接続サイト神田ラボ,京大ラボ