List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Finding the Anticover of a String | 2023-02-07 | Paper |
| Storing set families more compactly with top ZDDs | 2023-02-07 | Paper |
| Variable shift SDD: a more succinct sentential decision diagram | 2023-02-07 | Paper |
| New algorithms for manipulating sequence BDDs | 2020-05-06 | Paper |
| DenseZDD: a compact and fast index for families of sets Algorithms | 2019-10-30 | Paper |
| Sequence sentential decision diagrams | 2019-10-11 | Paper |
| Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations Discrete Applied Mathematics | 2016-09-12 | Paper |
| Enumerating Eulerian trails via Hamiltonian path enumeration WALCOM: Algorithms and Computation | 2015-02-27 | Paper |
| Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Information Processing Letters | 2012-10-23 | Paper |
Research outcomes over time
This page was built for person: Shuhei Denzumi
