Shin-ichi Minato

Giovanni De Micheli, Shin-ichi Minato, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Fast compilation of graph substructures for counting and enumeration

Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, 2018 .

Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking

Shin-ichi Minato, Reona Minoda, 2017, PECCS.

Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation

Shan Gao, Shin-ichi Minato, Masakazu Ishihata, 2017, AMBN.

Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets pdf

Shin-ichi Minato, Masakazu Ishihata, Shinsaku Sakaue, 2017, ArXiv.

Counting by ZDD

Shin-ichi Minato, S. Minato, 2016, Encyclopedia of Algorithms.

Generation of Cube Sets from BDDs

Shin-ichi Minato, 1996 .

Fast Regular Expression Matching Based On Dual Glushkov NFA

Hiroki Arimura, Shinobu Nagayama, Norihito Yasuda, 2014, Stringology.

Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets

Shin-ichi Minato, 2013, ESA.

An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models

Taisuke Sato, Shin-ichi Minato, Masakazu Ishihata, 2010, ACML.

Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams

Masaaki Nishino, Shin-ichi Minato, Jun Kawahara, 2020, SEA.

A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration

Takeaki Uno, Koji Tsuda, Shin-ichi Minato, 2014, ECML/PKDD.

Separate Compilation of Bayesian Networks for Efficient Exact Inference

Shan Gao, Shin-ichi Minato, Masakazu Ishihata, 2018, Transactions of the Japanese Society for Artificial Intelligence.

Fast Bit-Parallel Matching for Network and Regular Expressions

Hiroki Arimura, Shin-ichi Minato, Yusaku Kaneta, 2010, SPIRE.

A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions

Hiroki Arimura, Yoshikazu Miyanaga, Shingo Yoshizawa, 2012, IEICE Trans. Inf. Syst..

Symmetric item set mining method using zero-suppressed BDDs and application to biological data (論文特集:データマイニングと統計数理)

Shin-ichi Minato, Kimihito Ito, Kimihito Ito, 2007 .

Synthesis of Semi-Classical Quantum Circuits

D. Michael Miller, Shin-ichi Minato, Shigeru Yamashita, 2012, J. Multiple Valued Log. Soft Comput..

Shared binary decision diagram with attributed edges for efficient Boolean function manipulation

Nagisa Ishiura, Shuzo Yajima, Shin-ichi Minato, 1990, 27th ACM/IEEE Design Automation Conference.

Streaming BDD manipulation for large-scale combinatorial problems

Shinya Ishihara, Shin-ichi Minato, S. Minato, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

B-7-4 A Study of Fingerprinting for Multicasting by using Network Switches

Takeru Inoue, Shin-ichi Minato, Hitoshi Uematsu, 2007 .

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs

Ryo Yoshinaka, Toshiki Saitoh, Shin-ichi Minato, 2012, Algorithms.

Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs

Hiroki Arimura, Shin-ichi Minato, Hiroki Arimura, 2005, International Workshop on Challenges in Web Information Retrieval and Integration.

Graphillion: software library for very large sets of labeled graphs

Takeru Inoue, Shin-ichi Minato, Hiroaki Iwashita, 2014, International Journal on Software Tools for Technology Transfer.

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations

Hiroki Arimura, Ryo Yoshinaka, Shin-ichi Minato, 2012, Inf. Process. Lett..

Discrete Structure Manipulation for Discovery Science Problems

Shin-ichi Minato, 2010, ISCIS.

Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs

Shin-ichi Minato, 1994, 31st Design Automation Conference.

Zero-Suppressed Sentential Decision Diagrams

Masaaki Nagata, Masaaki Nishino, Norihito Yasuda, 2016, AAAI.

Graph-Based Representations of Discrete Functions

Shin-ichi Minato, S. Minato, 1996 .

A General Framework for Parallel Unary Operations on ZDDs

Shogo Takeuchi, Shin-ichi Minato, Takahisa Toda, 2014, PAKDD Workshops.

Streaming BDD Manipulation

Shin-ichi Minato, S. Minato, 2002, IEEE Trans. Computers.

Variable Ordering for BDDs

Shin-ichi Minato, 1996 .

Generating All Patterns of Graph Partitions Within a Disparity Bound

Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato, 2017, WALCOM.

Dancing with Decision Diagrams: A Combined Approach to Exact Cover

Masaaki Nagata, Masaaki Nishino, Norihito Yasuda, 2017, AAAI.

Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity

Atsuyoshi Nakamura, Ichigaku Takigawa, Hiroshi Teramoto, 2018, TPNC.

Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations

Hiroki Arimura, Ryo Yoshinaka, Shin-ichi Minato, 2011, Stringology.

Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs

Taisuke Sato, Shin-ichi Minato, Masakazu Ishihata, 2011, Australasian Conference on Artificial Intelligence.

Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs

Hirofumi Suzuki, Shin-ichi Minato, 2018, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Minimum-Width Method of Variable Ordering for Binary Decision Diagrams

Shin-ichi Minato, S. Minato, 1992 .

Shared-Memory Parallel Frontier-Based Search

Akihiro Kishimoto, Shogo Takeuchi, Shin-ichi Minato, 2013, WALCOM.

Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking

Shin-ichi Minato, Masakazu Ishihata, Reona Minoda, 2017 .

DenseZDD: A Compact and Fast Index for Families of Sets

Hiroki Arimura, Kunihiko Sadakane, Koji Tsuda, 2014, SEA.

Generation of BDDs from hardware algorithm descriptions

Shin-ichi Minato, 1996, Proceedings of International Conference on Computer Aided Design.

Incremental Set Recommendation Based on Class Differences

Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato, 2012, PAKDD.

Manipulation of regular expressions under length constraints using zero-suppressed-BDDs

Shinya Ishihara, Shin-ichi Minato, 1995, ASP-DAC '95.

BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems

Masaaki Nagata, Masaaki Nishino, Norihito Yasuda, 2015, AAAI.

Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams

Hiroki Arimura, Koji Tsuda, Shin-ichi Minato, 2013, Stringology.

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams

Shin-ichi Minato, Yuma Inoue, Takahisa Toda, 2014, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation

Hiroki Arimura, Takeaki Uno, Shin-ichi Minato, 2008, PAKDD.

Contents muticast method enabling determination of leakage origin and exclusion

Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, 2008, 2008 14th Asia-Pacific Conference on Communications.

Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP)

Koji Tsuda, Shin-ichi Minato, 2011, JSAI-isAI Workshops.

Scalable enumeration approach for maximizing hosting capacity of distributed generation

Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato, 2019, International Journal of Electrical Power & Energy Systems.

On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake

Takeru Inoue, Shin-ichi Minato, S. Minato, 2012, IEICE Trans. Commun..

Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams

Hirofumi Suzuki, Shin-ichi Minato, Masakazu Ishihata, 2020, WALCOM.

A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization

Masaaki Nagata, Tsutomu Hirao, Masaaki Nishino, 2015, HLT-NAACL.

πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space

Shin-ichi Minato, 2011, SAT.

Fast factorization method for implicit cube set representation

Shin-ichi Minato, S. Minato, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Maximizing hosting capacity of distributed generation by network reconfiguration in distribution system

Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato, 2016, 2016 Power Systems Computation Conference (PSCC).

Arithmetic Boolean Expression Manipulator Using BDDs

Fabio Somenzi, Shin-ichi Minato, 1997, Formal Methods Syst. Des..

Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization pdf

Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka, 2020, ArXiv.

Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits

Shin-ichi Minato, Yuma Inoue, S. Minato, 2015, RC.

The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)

Akihiro Yamamoto, Kouichi Hirata, Shin-ichi Minato, 2009, JSAI-isAI Workshops.

Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting

Shin-ichi Minato, Fumio Ishioka, Jun Kawahara, 2019, Japanese Journal of Statistics and Data Science.

Decision Diagrams and Pass Transistor Logic Synthesis

Luca Benini, Valeria Bertacco, Shin-ichi Minato, 1997 .

Decomposing a Graph into Unigraphs pdf

Takashi Horiyama, Shin-ichi Minato, Yu Nakahata, 2019, ArXiv.

Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams

Hirofumi Suzuki, Shin-ichi Minato, Masakazu Ishihata, 2018, COCOA.

A fast algorithm for cofactor implication checking and its application for knowledge discovery

Shin-ichi Minato, S. Minato, 2008, 2008 8th IEEE International Conference on Computer and Information Technology.

Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams

Shin-ichi Minato, Masakazu Ishihata, Shinsaku Sakaue, 2018, AISTATS.

FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search

Atsuyoshi Nakamura, Ichigaku Takigawa, Hiroshi Teramoto, 2018, 2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig).

Construction of Substring Indices Using Sequence BDDs

Hiroki Arimura, Shin-ichi Minato, Shuhei Denzumi, 2011 .

Zero-Suppressed BDDs

Shin-ichi Minato, 1996 .

An Efficient Method for Indexing All Topological Orders of a Directed Graph

Shin-ichi Minato, Yuma Inoue, S. Minato, 2014, ISAAC.

BDD-Constrained A ∗ Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems

Takuya Akiba, Masaaki Nagata, Masaaki Nishino, 2017 .

BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model

Nicolas Spyratos, Shin-ichi Minato, S. Minato, 2012, Int. J. Organ. Collect. Intell..

N-Gram Analysis Based on Zero-Suppressed BDDs

Thomas Zeugmann, Shin-ichi Minato, Ryutaro Kurai, 2006, JSAI.

A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams

Makoto Yokoo, Yuko Sakurai, Atsushi Iwasaki, 2011, PRIMA.

Binary Decision Diagrams and Their Applications for VLSI CAD

Shin-ichi Minato, 1995 .

Debugging of Reversible Circuits Using pDDs

Rolf Drechsler, Mathias Soeken, Shin-ichi Minato, 2013, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic.

BDD Generation from Algorithm Descriptions

Shin-ichi Minato, 1996 .

A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic

Shin-ichi Minato, Fumio Ishioka, Jun Kawahara, 2019, SDM.

BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits

Shin-ichi Minato, Ryosuke Matsuo, 2021, 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions pdf

Takashi Horiyama, Ryuhei Uehara, Mutsunori Banbara, 2021, ArXiv.

Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions

Takashi Horiyama, Mutsunori Banbara, Yutaro Yamaguchi, 2022 .

Editor's Message to Special Issue of Young Researchers' Papers

Shin-ichi Minato, 2021, J. Inf. Process..

Global Multi-Point Streaming Experiments Based on the Flexcast Protocol

Toshiaki Miyazaki, Satoshi Kotabe, Takeru Inoue, 2004 .

Fast Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Mining

Takeaki Uno, Koji Tsuda, Shin-ichi Minato, 2014 .

Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings by

Hiroki Arimura, Ryo Yoshinaka, Shin-ichi Minato, 2011 .

Enumeration of region partitioning for evacuation planning based on ZDD

Takashi Horiyama, Takeru Inoue, Atsushi Takizawa, 2013 .

Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams

Shin-ichi Minato, S. Minato, 1993 .

An Efficient Matching Algorithm for Acyclic Regular Expressions with Bounded Depth by

Hiroki Arimura, Shin-ichi Minato, Yusaku Kaneta, 2010 .

BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms)

Shin-ichi Minato, S. Minato, 1993 .

Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDDs

Shin-ichi Minato, S. Minato, 2005 .

TCS-TRA-1369 TCS Technical Report Efficient Top-Down ZDD Construction Techniques Using Recursive Specifications by

Shin-ichi Minato, Hiroaki Iwashita, 2013 .

Finding All Simple Disjoint Decompositions in Frequent Itemset Data

Shin-ichi Minato, S. Minato, 2005 .

Arithmetic Boolean Expressions

Shin-ichi Minato, 1996 .

Finding all simple disjunctive decompositions using irredundant sum-of-products forms

Giovanni De Micheli, Shin-ichi Minato, 1998, ICCAD '98.

Loss Minimization of Power Distribution Networks with Guaranteed Error Bound

Ryo Yoshinaka, Yasuhiro Hayashi, Akihiro Kishimoto, 2012 .

Great east Japan earthquake viewed from a URL shortener

Takeru Inoue, Fujio Toriumi, Shin-ichi Minato, 2011, SWID '11.

TCS-TRA-1680 TCS Technical Report Acceleration of ZDD Construction for Subgraph Enumeration via Pathwidth Optimization by Yuma Inoue and

Shin-ichi Minato, Yuma Inoue, S. Minato, 2016 .

Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms

Shuzo Yajima, Kiyoharu Hamaguchi, Shin-ichi Minato, 1997 .