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

Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato. Counterexamples to the long-standing conjecture on the complexity of BDD binary operations. Inf. Process. Lett., 112(16):636-640, 2012. [doi]

Abstract

Abstract is missing.