/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2016ホーム
/
川原 征大
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai30th
氏名
川原 征大
ふりがな
かわはら まさひろ
所属
神戸大学大学院システム情報学研究科情報科学専攻
発表リスト
06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
題目
1D4-OS-02a-4 SATソルバーを用いた部分グラフ探索のための制約モデル
著者
川原 征大
宋 剛秀
番原 睦則
田村 直之
論文
PDFファイル
06月06日(Mon) 15:20〜17:05 D会場(48名-国際会議場 22会議室)
題目
1D4-OS-02a-3 SAT型制約ソルバーによるナンバーリンクの解法とその評価
著者
迫 龍哉
川原 征大
宋 剛秀
番原 睦則
田村 直之
鍋島 英知
論文
PDFファイル