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

  • 佐古田 淳史 ID: 9000248956667

    CiNii収録論文: 3件

    • 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法 (2014)
    • 正方形詰込み問題の制約モデルとSAT符号化を用いた解法 (2013)
    • 制約充足問題のハイブリッド符号化に向けて (特集 「命題論理の充足可能性問題SATと応用技術」および一般) (2015)
ページトップへ