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]

Authors

Ryo Yoshinaka

This author has not been identified. Look up 'Ryo Yoshinaka' in Google

Jun Kawahara

This author has not been identified. Look up 'Jun Kawahara' in Google

Shuhei Denzumi

This author has not been identified. Look up 'Shuhei Denzumi' in Google

Hiroki Arimura

This author has not been identified. Look up 'Hiroki Arimura' in Google

Shin-ichi Minato

This author has not been identified. Look up 'Shin-ichi Minato' in Google