講演・口頭発表等

2013年9月

パッキング配列問題の制約モデリングとSAT符号化

日本ソフトウェア科学会第30回大会
  • 則武 治樹
    • ,
  • 番原 睦則
    • ,
  • 宋 剛秀
    • ,
  • 田村 直之
    • ,
  • 井上 克巳
記述言語
日本語
会議種別
口頭発表（一般）
主催者
日本ソフトウェア科学会
開催地
東京大学
講演・口頭発表等リストへ