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

1D4-OS-02a-4 SATソルバーを用いた部分グラフ探索のための制約モデル

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

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

06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
1D4-OS-02a オーガナイズドセッション「OS-2 SAT技術の理論,実装,応用 (1)」

演題番号1D4-OS-02a-4
題目SATソルバーを用いた部分グラフ探索のための制約モデル
著者川原 征大(神戸大学大学院システム情報学研究科情報科学専攻)
宋 剛秀(神戸大学 情報基盤センター)
番原 睦則(神戸大学 情報基盤センター)
田村 直之(神戸大学 情報基盤センター)
時間06月06日(Mon) 16:35〜16:50
論文PDFファイル