Article,

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

, , , , and .
Inf. Process. Lett., 112 (16): 636-640 (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews