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

  • 丹生 智也 ID: 9000361213423

    CiNii収録論文: 14件

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