Counterexamples to the long-standing conjecture on the complexity of BDD binary operations
Access this Article
Author(s)
Journal
-
- Information Processing Letters
-
Information Processing Letters 112(16), 636-640, 2012-08-31
Elsevier B.V.