検索結果2件中 1-2 を表示

  • 則武 治樹 ID: 9000258238564

    神戸大学大学院システム情報学研究科 (2014年 CiNii収録論文より)

    CiNii収録論文: 1件

    • パッキング配列問題の制約モデリングとSAT符号化 (2014)
  • 則武 治樹 ID: 9000303992682

    CiNii収録論文: 4件

    • 制約充足問題のSAT符号化を用いたパッキング配列の構成 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-04 SAT技術の理論,実装,応用」) (2012)
    • パッキング配列問題の制約モデリングとSAT符号化 (2013)
    • 制約解集合プログラミングシステムの設計方式に関する考察 (2014)
ページトップへ