分岐補題の抽出による極小モデル生成の効率化  [in Japanese] Improving the Effciency of Minimal Model Generation by Extracting Branching Lemmas  [in Japanese]

Journal

人工知能学会誌  

人工知能学会誌 00016(00002), 321, 2001-03-01 

Codes

  • NII Article ID (NAID) :
    20000415286
  • NII NACSIS-CAT ID (NCID) :
    AN10067140
  • Text Lang :
    JPN
  • Article Type :
    ART
  • ISSN :
    09128085
  • Databases :
    CJP