/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
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ファイル
