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

  • 丹生 智也 ID: 9000394068750

    CiNii収録論文: 1件

    • 制約最適化問題とSAT符号化(<特集>最近のSAT技術の発展) (2010)
  • 丹生 智也 ID: 9000394068790

    CiNii収録論文: 13件

    • SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般) (2011)
    • 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般) (2011)
    • 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 (2011)
  • 丹生 智也 ID: 9000397665523

    神戸大学 大学院工学研究科 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 (2011)
  • 丹生 智也 ID: 9000397680356

    神戸大学 大学院工学研究科 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • SAT符号化を用いた釣合い型不完備ブロック計画の構成 (2011)
ページトップへ