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