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

宋 剛秀

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

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

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

発表リスト

06月05日(Wed) 18:00〜20:20 E会場(-国際会議場204号室)
題目2E5-OS-09b-1 正方形詰込み問題の制約モデルとSAT符号化を用いた解法
著者佐古田 淳史 宋 剛秀 番原 睦則 田村 直之
論文PDFファイル