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