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

1D5-OS-02b-2 CDCLソルバーにおけるZDDを利用した節圧縮表現の導入

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

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

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

演題番号1D5-OS-02b-2
題目CDCLソルバーにおけるZDDを利用した節圧縮表現の導入
著者後藤 優也(山梨大学工学部コンピュータ理工学科)
鍋島 英知(山梨大学大学院医学工学総合研究部)
時間06月06日(Mon) 17:35〜17:50
論文PDFファイル