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

稲葉 真理

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

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

氏名稲葉 真理
ふりがないなば まり
所属東京大学 情報理工学系研究科 創造情報学専攻

発表リスト

05月23日(Tue) 15:50〜17:30 M会場(ウインクあいち-10F 1005会議室)
題目1M2-OS-02b-2 Boost SAT solver with hybrid branching heuristic
著者ムン ソンス 稲葉 真理
論文PDFファイル