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