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

  • Takehide Soh ID: 9000361218992

    CiNii収録論文: 1件

    • 「SATソルバー」(私のブックマーク) (2013)
  • 宋 剛秀 ID: 9000002856681

    CiNii収録論文: 14件

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

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

    CiNii収録論文: 1件

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

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

    CiNii収録論文: 1件

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

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

    CiNii収録論文: 1件

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