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

鍋島 英知

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

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

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

発表リスト

06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
題目2E4-OS-09a-4 拡張融合法に基づく次世代SATソルバーの試作
著者森 淳 鍋島 英知
論文PDFファイル

06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
題目2E4-OS-09a-3 最新SATソルバーへの充足不能コア抽出手法の実装
著者渡辺 大樹 鍋島 英知
論文PDFファイル