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

1D4-OS-02a-1 (OS招待講演)SAT ソルバーの最近の技術動向

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

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

06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
1D4-OS-02a オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用 (1)」
演題番号1D4-OS-02a-1
題目(OS招待講演)SAT ソルバーの最近の技術動向
著者鍋島 英知(山梨大学大学院医学工学総合研究部)
時間06月06日(Mon) 15:25〜16:05
論文PDFファイル