SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般) SAT-based constraint solver sugar

この論文をさがす

収録刊行物

  • 人工知能基本問題研究会

    人工知能基本問題研究会 81, 13-17, 2011-01-31

    人工知能学会

各種コード

  • NII論文ID(NAID)
    40018282632
  • NII書誌ID(NCID)
    AA11977943
  • 本文言語コード
    JPN
  • 資料種別
    特集
  • NDL 記事登録ID
    10983531
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-1667
  • データ提供元
    NDL 
ページトップへ