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

楢崎 修二

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

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

氏名楢崎 修二
ふりがな楢崎 修二
所属長崎大学 大学院 工学研究科

発表リスト

05月23日(Tue) 15:50〜17:30 M会場(ウインクあいち-10F 1005会議室)
題目1M2-OS-02b-5 CDCL SATソルバにおける貪欲論理制約伝播
著者楢崎 修二
論文PDFファイル