/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2013ホーム
/
渡辺 大樹
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2013
氏名
渡辺 大樹
ふりがな
わたなべ だいき
所属
山梨大学工学部コンピュータ•メディア工学科
発表リスト
06月05日(Wed) 15:00〜17:40 E会場(-国際会議場204号室)
題目
2E4-OS-09a-3 最新SATソルバーへの充足不能コア抽出手法の実装
著者
渡辺 大樹
鍋島 英知
論文
PDFファイル