Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 2 of 2
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | article (author version) | Denzumi, Shuhei; Yoshinaka, Ryo; Arimura, Hiroki; Minato, Shin-ichi | Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations | - | Discrete applied mathematics | - | 30-Oct-2016 |
article (author version) | Yoshinaka, Ryo; Kawahara, Jun; Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichi | Counterexamples to the long-standing conjecture on the complexity of BDD binary operations | - | Information Processing Letters | - | 31-Aug-2012 |
Showing results 1 to 2 of 2
|