The following pages link to Shuhei Denzumi (Q313767):
Displaying 9 items.
- Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations (Q313770) (← links)
- Counterexamples to the long-standing conjecture on the complexity of BDD binary operations (Q456068) (← links)
- New algorithms for manipulating sequence BDDs (Q2177603) (← links)
- Sequence sentential decision diagrams (Q2327143) (← links)
- DenseZDD: a compact and fast index for families of sets (Q2331660) (← links)
- Enumerating Eulerian Trails via Hamiltonian Path Enumeration (Q5176581) (← links)
- Finding the Anticover of a String (Q5874427) (← links)
- Storing set families more compactly with top ZDDs (Q6487601) (← links)
- Variable shift SDD: a more succinct sentential decision diagram (Q6487613) (← links)
