/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2016ホーム
/
1D5-OS-02b-4 グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai30th
06月06日(Mon) 17:20〜19:00 D会場(48名-国際会議場 22会議室)
1D5-OS-02b オーガナイズドセッション「OS-2 SAT技術の理論,実装,応用 (2)」
演題番号
1D5-OS-02b-4
題目
グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス
著者
井上 祐馬(北海道大学 大学院 情報科学研究科)
鈴木 浩史(北海道大学 大学院情報科学研究科)
伊藤 華(北海道大学 大学院 情報科学研究科)
湊 真一(北海道大学 大学院 情報科学研究科)
時間
06月06日(Mon) 18:05〜18:20
論文
PDFファイル