DPLL型SATソルバを用いた極小モデル生成について On finding minimal-models using DPLL-based SAT solver

収録刊行物

九州大学大学院システム情報科学紀要  

九州大学大学院システム情報科学紀要 12(2), 81-86, 2007-09 

九州大学大学院システム情報科学研究院

被引用文献:  1件

被引用文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID) :
    40015656277
  • NII書誌ID(NCID) :
    AN10569524
  • 本文言語コード :
    JPN
  • 資料種別 :
    雑誌論文
  • 雑誌種別 :
    大学紀要
  • ISSN :
    13423819
  • NDL 記事登録ID :
    8959361
  • NDL 雑誌分類 :
    ZM2(科学技術--科学技術一般--大学・研究所・学会紀要)
  • NDL 請求記号 :
    Z14-B425
  • 収録DB :
    CJP引用  NDL