Counterexamples to the long-standing conjecture on the complexity of BDD binary operations

この論文にアクセスする

収録刊行物

  • Information Processing Letters

    Information Processing Letters 112(16), 636-640, 2012-08-31

    Elsevier B.V.

各種コード

  • NII論文ID(NAID)
    120004710971
  • 本文言語コード
    ENG
  • 資料種別
    journal article
  • ISSN
    0020-0190
  • データ提供元
    IR 
ページトップへ