journal

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

Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato

Inf. Process. Lett. Vol.112, pp.636-640 (2012), [peer-reviewed]

DOI External Link

Abstract / 概要

Abstract could not be automatically retrieved from the linked source. Please add the official abstract manually if available.

DOI: 10.1016/j.ipl.2012.05.007