田村直之

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

発表リスト

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))

題目 1E3-OS-4-1 制約充足問題のSAT符号化を用いたパッキング配列の構成

著者則武治樹番原睦則田村直之井上克巳

論文 PDFファイル

題目	1E3-OS-4-1 制約充足問題のSAT符号化を用いたパッキング配列の構成
著者	則武治樹番原睦則田村直之井上克巳
論文	PDFファイル

06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))

題目 1E3-OS-4-2 ハミルトン閉路問題のSAT符号化に関する研究

著者船越泰輔番原睦則田村直之

論文 PDFファイル

題目	1E3-OS-4-2 ハミルトン閉路問題のSAT符号化に関する研究
著者	船越泰輔番原睦則田村直之
論文	PDFファイル