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

Access this Article

Journal

  • Information Processing Letters

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

    Elsevier B.V.

Codes

  • NII Article ID (NAID)
    120004710971
  • Text Lang
    ENG
  • Article Type
    journal article
  • ISSN
    0020-0190
  • Data Source
    IR 
Page Top