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

  • 1 / 2
  • 宋 剛秀 ID: 9000002856681

    CiNii収録論文: 15件

    • 国際シンポジウムFLOPS 2012開催報告 (2013)
    • 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法 (2014)
    • SAT問題への変換を用いたフィードバックを含むパスウェイの解析 (2009)
  • 宋 剛秀 ID: 9000021952979

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

    CiNii収録論文: 1件

    • モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙 (2012)
  • 宋 剛秀 ID: 9000248956738

    CiNii収録論文: 1件

    • SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用 (2014)
  • 宋 剛秀 ID: 9000258238566

    神戸大学情報基盤センター (2014年 CiNii収録論文より)

    CiNii収録論文: 1件

    • パッキング配列問題の制約モデリングとSAT符号化 (2014)
  • 宋 剛秀 ID: 9000273033508

    CiNii収録論文: 1件

    • 正方形詰込み問題の制約モデルとSAT符号化を用いた解法 (2013)
  • 宋 剛秀 ID: 9000274300174

    神戸大学 (2014年 CiNii収録論文より)

    CiNii収録論文: 1件

    • OS-11 SAT技術の理論,実装,応用(オーガナイズドセッション,<特集>2014年度人工知能学会全国大会(第28回)) (2014)
  • 宋 剛秀 ID: 9000285486642

    CiNii収録論文: 1件

    • 制約充足問題のハイブリッド符号化に向けて (特集 「命題論理の充足可能性問題SATと応用技術」および一般) (2015)
  • 宋 剛秀 ID: 9000296680682

    CiNii収録論文: 1件

    • 組合せテストケース生成問題に対する制約解集合プログラミングの適用 (2015)
  • 宋 剛秀 ID: 9000304612286

    CiNii収録論文: 1件

    • パッキング配列問題の制約モデリングとSAT符号化 (2013)
  • 宋 剛秀 ID: 9000304612738

    CiNii収録論文: 1件

    • Scala上で実現されたSAT型制約プログラミングシステムのための開発ツールScarabについて (2013)
  • 宋 剛秀 ID: 9000305624300

    CiNii収録論文: 1件

    • 制約解集合プログラミングシステムの設計方式に関する考察 (2014)
  • 宋 剛秀 ID: 9000305624500

    CiNii収録論文: 1件

    • Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール (2014)
  • 宋 剛秀 ID: 9000311511859

    CiNii収録論文: 1件

    • Scala上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について (2015)
  • 宋 剛秀 ID: 9000311512119

    CiNii収録論文: 1件

    • SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価 (2015)
  • 宋 剛秀 ID: 9000311512503

    CiNii収録論文: 1件

    • iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー (2015)
  • 宋 剛秀 ID: 9000311512541

    CiNii収録論文: 1件

    • 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化 (2015)
  • 宋 剛秀 ID: 9000331432042

    CiNii収録論文: 1件

    • SATとパズル : 問題をいかにSATソルバーで解くか (特集 SAT技術の進化と応用 : パズルからプログラム検証まで) (2016)
  • 宋 剛秀 ID: 9000341528827

    CiNii収録論文: 1件

    • SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案 (2016)
  • 宋 剛秀 ID: 9000343342578

    CiNii収録論文: 1件

    • SAT型制約プログラミングシステムと周辺技術 (2017)
  • 宋 剛秀 ID: 9000345321147

    神戸大学情報基盤センター (2016年 CiNii収録論文より)

    CiNii収録論文: 1件

    • インクリメンタルSAT解法ライブラリとその応用 (2016)
  • 1 / 2
ページトップへ