Shuhei Denzumi

22 papers B 7C 2Misc 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
International Competition on Graph Counting Algorithms 2023.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato
2024 B conf
Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up.
ISAAC
Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
2024 J jnl
Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up.
CoRR
Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
2023 J jnl
International Competition on Graph Counting Algorithms 2023.
CoRR
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato
2021 J jnl
Storing Set Families More Compactly with Top ZDDs.
Algorithms
Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane
2020 B conf
Finding the Anticover of a String.
CPM
Mai Alzamel, Alessio Conte, Shuhei Denzumi, Roberto Grossi, Costas S. Iliopoulos, Kazuhiro Kurita, Kunihiro Wasa
2020 B conf
Storing Set Families More Compactly with Top ZDDs.
SEA
Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane
2020 J jnl
Storing Set Families More Compactly with Top ZDDs.
CoRR
Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane
2020 B conf
Variable Shift SDD: A More Succinct Sentential Decision Diagram.
SEA
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
2020 J jnl
Variable Shift SDD: A More Succinct Sentential Decision Diagram.
CoRR
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
2019 — conf
Approximated ZDD Construction Considering Inclusion Relations of Models.
SEA²
Kotaro Matsuda, Shuhei Denzumi, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2019 C conf
New Algorithms for Manipulating Sequence BDDs.
CIAA
Shuhei Denzumi
2018 J jnl
DenseZDD: A Compact and Fast Index for Families of Sets.
Algorithms
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
2018 C conf
Sequence Sentential Decision Diagrams.
COCOA
Shuhei Denzumi
2016 B conf
Engineering Hybrid DenseZDDs.
SEA
Taito Lee, Shuhei Denzumi, Kunihiko Sadakane
2016 J jnl
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations.
Discret. Appl. Math.
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
2015 B conf
Enumerating Eulerian Trails via Hamiltonian Path Enumeration.
WALCOM
Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, Shin-ichi Minato
2014 B conf
DenseZDD: A Compact and Fast Index for Families of Sets.
SEA
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
2013 Misc conf
Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams .
PSC
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato
2012 J jnl
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.
Inf. Process. Lett.
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
2011 — conf
Implementation of sequence BDDs in Erlang.
Erlang Workshop
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
2011 Misc conf
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations.
PSC
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato