/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2014ホーム
/
越村 三幸
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2014
氏名
越村 三幸
ふりがな
こしむら みゆき
所属
九州大学大学院システム情報科学研究院情報学部門
発表リスト
05月12日(Mon) 15:20〜17:00 D会場(48人-ひめぎんホール 第3会議室)
題目
1D4-OS-11a-4 基数制約のSAT符号化を用いたMaxSATソルバーの試作
著者
越村 三幸
有村 寿高
論文
PDFファイル
05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
題目
1D5-OS-11b-1 高速SATソルバーZENN及びその高速化手法
著者
早田 翔
安本 猛
越村 三幸
藤田 博
長谷川 隆三
論文
PDFファイル
