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

越村 三幸

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

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

氏名越村 三幸
ふりがなこしむら みゆき
所属九州大学大学院システム情報科学研究院情報学部門

発表リスト

06月06日(Mon) 17:20〜19:00 D会場(48名-国際会議場 22会議室)
題目1D5-OS-02b-1 モデルとUnsat Core を利用したMaxSATソルバーの試作
著者越村 三幸
論文PDFファイル