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

  • 松中 春樹 ID: 9000021953979

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

    CiNii収録論文: 1件

    • SAT符号化を用いた釣合い型不完備ブロック計画の構成 (2012)
  • 松中 春樹 ID: 9000303992700

    CiNii収録論文: 2件

    • SAT符号化を用いた釣合い型不完備ブロック計画の構成 (2011)
    • SAT技術を用いた組合せテストケース生成 (2010)
ページトップへ