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