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

  • 丹生 智也 ID: 9000021953980

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

    CiNii収録論文: 1件

    • SAT符号化を用いた釣合い型不完備ブロック計画の構成 (2012)
  • 丹生 智也 ID: 9000258238197

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

    CiNii収録論文: 1件

    • SAT変換に基づく制約ソルバーとその性能評価 (2010)
  • 丹生 智也 ID: 9000258238488

    新領域融合研究センター (2012年 CiNii収録論文より)

    CiNii収録論文: 1件

    • Scala上の制約プログラミング用ドメイン特化言語Coprisについて (2012)
  • 丹生 智也 ID: 9000258238494

    新領域融合研究センター (2013年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 (2013)
  • 丹生 智也 ID: 9000361213423

    CiNii収録論文: 9件

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

    CiNii収録論文: 1件

    • SINETを活用したインタークラウド環境構築システムの開発 (コンピュータシステム) (2017)
ページトップへ