/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2014ホーム
/
鍋島 英知
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2014
氏名
鍋島 英知
ふりがな
なべしま ひでとも
所属
山梨大学大学院医学工学総合研究部
発表リスト
05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
題目
1D5-OS-11b-2in CDCL ソルバーのための軽量動的包摂検査
著者
杉本 拓也
鍋島 英知
論文
PDFファイル
05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
題目
1D5-OS-11b-4in 大規模SAT問題の求解のための緩和解法の検討と提案
著者
三神 直彬
鍋島 英知
論文
PDFファイル
