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

宋 剛秀

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

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

氏名宋 剛秀
ふりがなそう たけひで
所属神戸大学 情報基盤センター

発表リスト

05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
題目1D5-OS-11b-7 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法
著者佐古田 淳史 宋 剛秀 番原 睦則 田村 直之
論文PDFファイル

05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
題目1D5-OS-11b-6in SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用
著者宋 剛秀 Le Berre Daniel Roussel Stéphanie 番原 睦則 田村 直之
論文PDFファイル