Symbolic model checking without BDDs

著者

収録刊行物

  • Proc. 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)

    Proc. 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), 193-207, 1999

被引用文献:  1件中 1-1件 を表示

  • SATによるシステム検証(<特集>最近のSAT技術の発展)

    番原 睦則 , 田村 直之 , Mutsunori Banbara , Naoyuki Tamura , 神戸大学学術情報基盤センター , 神戸大学学術情報基盤センター , Information Science and Technology Center Kobe University , Information Science and Technology Center Kobe University

    人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(1), 122-129, 2010-01-01

    CiNii 外部リンク 参考文献31件 被引用文献5件

各種コード

  • NII論文ID(NAID)
    10026031236
  • 資料種別
    会議資料
  • データ提供元
    CJP引用 
ページトップへ