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

鍋島 英知

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

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

氏名鍋島 英知
ふりがななべしま ひでとも
所属山梨大学大学院医学工学総合研究部

発表リスト

06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
題目1D4-OS-02a-1 (OS招待講演)SAT ソルバーの最近の技術動向
著者鍋島 英知
論文PDFファイル

06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
題目1D4-OS-02a-3 SAT型制約ソルバーによるナンバーリンクの解法とその評価
著者迫 龍哉 川原 征大 宋 剛秀 番原 睦則 田村 直之 鍋島 英知
論文PDFファイル

06月06日(Mon) 17:20〜19:00 D会場(48名-国際会議場 22会議室)
題目1D5-OS-02b-2 CDCLソルバーにおけるZDDを利用した節圧縮表現の導入
著者後藤 優也 鍋島 英知
論文PDFファイル