Shuhei Denzumi

Available identifiers

zbMath Open denzumi.shuheiMaRDI QIDQ313767

List of research outcomes

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	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	2016-09-12	Paper
Enumerating Eulerian trails via Hamiltonian path enumeration	2015-02-27	Paper
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations	2012-10-23	Paper

Research outcomes over time

This page was built for person: Shuhei Denzumi