Shin-ichi Minato

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 61

Top Venues

CoRR

WALCOM

IEICE Trans. Inf. Syst.

AAAI

Publications

Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato
Optimizing Decision Diagrams for Measurements of Quantum Circuits. ASPDAC (2024)
Brian Godwin S. Lim, Renzo Roel P. Tan, Jun Kawahara, Shin-ichi Minato, Kazushi Ikeda
A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams. IEEE Access 12 (2024)
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato
On the sizes of BDDs and ZDDs representing matroids. CoRR (2024)
Shou Ooba, Jun Kawahara, Shin-ichi Minato
Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. ICAART (3) (2024)
Shin-ichi Minato
Recent Research Activities on Algorithmic Foundations for Social Advancement. WALCOM (2024)
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
On the Computational Complexity of Generalized Common Shape Puzzles. SOFSEM (2024)
Ryosuke Matsuo, Shin-ichi Minato
A Complete Library of Cross-Bar Gate Logic with Three Control Inputs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107 (3) (2024)
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure. INFOCOM (2023)
Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks. IEICE Trans. Inf. Syst. 106 (3) (2023)
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
Sorting balls and water: Equivalence and computational complexity. Theor. Comput. Sci. 978 (2023)
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
Exact and Efficient Network Reliability Evaluation per Outage Scale. ICC (2023)
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
On the Computational Complexity of Generalized Common Shape Puzzles. CoRR (2023)
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato
International Competition on Graph Counting Algorithms 2023. CoRR (2023)
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints. SEA (2023)
Kazuma Fuchimoto, Shin-ichi Minato, Maomi Ueno
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams. IEEE Access 11 (2023)
Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions. CoRR (2022)
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
Sorting Balls and Water: Equivalence and Computational Complexity. CoRR (2022)
Ryosuke Matsuo, Shin-ichi Minato
Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports. DATE (2022)
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
Sorting Balls and Water: Equivalence and Computational Complexity. FUN (2022)
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions. CoRR (2021)
Shin-ichi Minato
Editor's Message to Special Issue of Young Researchers' Papers. J. Inf. Process. 29 (2021)
Ryosuke Matsuo, Shin-ichi Minato
BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits. ISVLSI (2021)
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Soft Comput. 25 (3) (2021)
Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato
Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. SEA (2020)
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
Tree Decomposition-based Approach for Compiling Independent Sets. J. Inf. Process. 28 (2020)
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka
Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. CoRR (2020)
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. WALCOM (2020)
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. CoRR (2020)
Go Kato, Shin-ichi Minato
Enumeration of Associative Magic Squares of Order 7. J. Inf. Process. 28 (2020)
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato
Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. WALCOM (2020)
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata
Decomposing a Graph into Unigraphs. CoRR (2019)
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. CoRR (2019)
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara
A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. SDM (2019)
Hirofumi Suzuki, Shin-ichi Minato
Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2018)
Takashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka
FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search. ReConFig (2018)
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato
Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. COCOA (2018)
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato
Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams. AISTATS (2018)
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi
Fast packet classification algorithm for network-wide forwarding behaviors. Comput. Commun. 116 (2018)
Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
Optimizing Network Reliability via Best-First Search over Decision Diagrams. INFOCOM (2018)
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
DenseZDD: A Compact and Fast Index for Families of Sets. Algorithms 11 (8) (2018)
Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-ichi Minato, Yasuhiro Hayashi
Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling. IEEE Trans. Smart Grid 9 (3) (2018)
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity. TPNC (2018)
Masakazu Ishihata, Shan Gao, Shin-ichi Minato
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation. AMBN (2017)
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
Compiling Graph Substructures into Sentential Decision Diagrams. AAAI (2017)
Reona Minoda, Shin-ichi Minato
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages. IEICE Trans. Inf. Syst. (6) (2017)
Norihito Yasuda, Teruji Sugaya, Shin-ichi Minato
Fast Compilation of s-t Paths on a Graph for Counting and Enumeration. AMBN (2017)
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato
Generating All Patterns of Graph Partitions Within a Disparity Bound. WALCOM (2017)
Reona Minoda, Shin-ichi Minato
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. PECCS (2017)
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato
Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2017)
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato
Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets. CoRR (2017)
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata
BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems. AAAI Workshops (2017)
Shin-ichi Minato
Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation. IEICE Trans. Inf. Syst. (8) (2017)
Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato
Statistical Emerging Pattern Mining with Multiple Testing Correction. KDD (2017)
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata
Search: A Fast Method for Solving Constrained Shortest-Path Problems. IEICE Trans. Inf. Syst. (12) (2017)
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
Dancing with Decision Diagrams: A Combined Approach to Exact Cover. AAAI (2017)
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
Zero-Suppressed Sentential Decision Diagrams. AAAI (2016)
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations. Discret. Appl. Math. 212 (2016)
Shin-ichi Minato
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. ISMVL (2016)
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. RC (2016)
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato
Maximizing hosting capacity of distributed generation by network reconfiguration in distribution system. PSCC (2016)
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato
Graphillion: software library for very large sets of labeled graphs. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
Superset Generation on Decision Diagrams. WALCOM (2015)
Yuma Inoue, Shin-ichi Minato
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. RC (2015)
Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata
A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization. HLT-NAACL (2015)
Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, Shin-ichi Minato
Enumerating Eulerian Trails via Hamiltonian Path Enumeration. WALCOM (2015)
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. AAAI (2015)
Shan Gao, Shin-ichi Minato
Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations. AMBN@JSAI-isAI (2015)
Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashitakeru
Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. IEEE Trans. Smart Grid 6 (2) (2015)
Norihito Yasuda, Masaaki Nishino, Shin-ichi Minato
On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. PAKDD Workshops (2014)
Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, Shin-ichi Minato
Fast Regular Expression Matching Based On Dual Glushkov NFA. Stringology (2014)
Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, Jun Sese
A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration. ECML/PKDD (2) (2014)
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
A General Framework for Parallel Unary Operations on ZDDs. PAKDD Workshops (2014)
Yuma Inoue, Shin-ichi Minato
An Efficient Method for Indexing All Topological Orders of a Directed Graph. ISAAC (2014)
Yuma Inoue, Takahisa Toda, Shin-ichi Minato
Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2014)
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi
Rethinking Packet Classification for Global Network View of Software-Defined Networking. ICNP (2014)
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
DenseZDD: A Compact and Fast Index for Families of Sets. SEA (2014)
Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi
Distribution Loss Minimization With Guaranteed Error Bound. IEEE Trans. Smart Grid 5 (1) (2014)
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato
Three-way Indexing ZDDs for Large-Scale Sparse Datasets. PAKDD Workshops (2014)
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. SDM (2014)
Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato
Shared-Memory Parallel Frontier-Based Search. WALCOM (2013)
Shin-ichi Minato
Techniques of BDD/ZDD: Brief History and Recent Activity. IEICE Trans. Inf. Syst. (7) (2013)
Shin-ichi Minato
Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets. ESA (2013)
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato
Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams . Stringology (2013)
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler
Debugging of Reversible Circuits Using pDDs. ISMVL (2013)
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato
Incremental Set Recommendation Based on Class Differences. PAKDD (1) (2012)
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations. Inf. Process. Lett. 112 (16) (2012)
Shin-ichi Minato, Nicolas Spyratos
BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model. Int. J. Organ. Collect. Intell. 3 (4) (2012)
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Algorithms 5 (2) (2012)
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
Synthesis of Semi-Classical Quantum Circuits. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga
A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions. IEICE Trans. Inf. Syst. (7) (2012)
Takeru Inoue, Shin-ichi Minato
On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake. IEICE Trans. Commun. (7) (2012)
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler
DDs in the Design of Reversible Circuits. RC (2012)
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations. Stringology (2011)
Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence (2011)
Shin-ichi Minato
Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering. New Gener. Comput. 29 (2) (2011)
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
Implementation of sequence BDDs in Erlang. Erlang Workshop (2011)
Koji Tsuda, Shin-ichi Minato
Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP). JSAI-isAI Workshops (2011)
Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato
An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences. GrC (2011)
Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo
A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams. PRIMA (2011)
Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato
Great east Japan earthquake viewed from a URL shortener. SWID@CoNEXT (2011)

Shin-ichi Minato.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shin-ichi Minato