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

田村 直之

氏名田村 直之
ふりがなたむら なおゆき
所属神戸大学 情報基盤センター

発表リスト

06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目3J1-OS7-1in 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化
著者丹生 智也 田村 直之 番原 睦則
論文PDFファイル

06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目3J1-OS7-2 SAT符号化を用いた釣合い型不完備ブロック計画の構成
著者松中 春樹 丹生 智也 番原 睦則 田村 直之
論文PDFファイル