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

  • Tomoya Tanjo ID: 9000394068753

    CiNii収録論文: 1件

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

    CiNii収録論文: 13件

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