- Shin-ichi Minato: "Binary
Decision Diagrams and Applications for
VLSI
CAD," Kluwer Academic Publishers, Nov. 1996.

- Shin-ichi Minato: "Graph-Based
Representations of Discrete
Functions,"
In T. Sasao, editor, "Representation of Discrete Functions," chapter 1,
pp. 1-27, Kluwer Academic Publishers, May 1996.

- Shin-ichi Minato and Saburo Muroga: "Binary Decision Diagrams," In W.-K. Chen, editor, "The VLSI Handbook," chapter 26, pp. 26,1-14, CRC/IEEE Press, 2000.
- Shin-ichi Minato and Saburo Muroga: "Binary Decision Diagrams," In W.-K. Chen, editor, "The VLSI Handbook, Second Edition," chapter 29, pp. 29.1-14, CRC/IEEE Press, Dec. 2006.
- Shin-ichi Minato: "Data Mining Using Binary Decision Diagrams," In T. Sasao and J. Butler, editor, "Progress in Representation of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)," chapter 5, pp. 97-109, Morgan & Claypool Publishers, May 2010.
- Shin-ichi Minato: "Counting by ZDD," In Ming-Yang Kao, editor, "Encyclopedia of Algorithms," DOI 10.1007/978-3-642-27848-8_734-1, pp. 1-6, Springer, Sep. 2014.
- Shin-ichi Minato: "The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion," In T. Sasao and J. Butler, editor, "Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)," chapter 3, pp. 49-62, Morgan & Claypool Publishers, Nov. 2014.

- B. Becker, C. Meinel, S. Minato and F. Somenzi: "Decision
Diagrams -
Concepts and Applications," Dagstuhl-Seminar-Report
229, Jan. 1999.

- S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi (Editors): "New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 5433, ISBN: 978-3-642-00398-1, Springer, Feb. 2009.
- Shigeru Yamashita and Shin-ichi Minato (Editors): "Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, Lecture Notes in Computer Science, Volume 8507, ISBN: 978-3-319-08493-0, Springer, July 2014.
- Shin-ichi Minato: "Editor's Message to Special Issue of Young Researchers' Papers," Journal of Information Processing (JIP), Vol. 29, p. 205, DOI 10.2197/ipsjjip.29.205, Dec. 2020.

- S. Minato: "Binary Decision Diagrams and Their Applications for VLSI CAD," Faculty of Engineering, Kyoto University, Jan. 1995.

- S. Minato: "Minimum-Width Method of Variable Ordering for Binary Decision Diagrams," IEICE Trans. Fundamentals, Vol. E75-A, No. 3, pp. 392-399, March 1992.
- S. Minato: "Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams," IEICE Trans. Fundamentals, Vol. E76-A, No. 6, pp. 967-973, June 1993.
- S. Minato: "BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs," IEICE Trans. Fundamentals, Vol. E76-A, No. 10, pp. 1721-1729, Oct. 1993.
- S. Minato: "Fast Factorization Method for Implicit Cube Set Representation," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 4, pp. 377-384, Apr. 1996.
- S. Minato: "Arithmetic Boolean Expression Manipulator Using BDDs," Formal Methods in System Design, No. 10, pp. 221-242, Kluwer Academic Publishers, Oct. 1997.
- D. Rotter, K. Hamaguchi, S. Minato and S. Yajima: "Manipulation
of Large-Scale Polynomials Using BMDs," IEICE Trans. Fundamentals, Vol.
E80-A, No.10, pp.1774-1781, Oct. 1997.

- S. Minato: "Zero-Suppressed BDDs and Their Applications," International Journal on Software Tools for Technology Transfer, Vol. 3, No. 2, pp. 156-170, Springer, May 2001.
- S. Minato: "Streaming BDD Manipulation", IEEE Trans. on Computers, Vol. 51, No. 5, pp. 474-485, May 2002.
- S. Tani, T. Inoue, S. Minato, H. Takahashi, S. Kotabe, and T. Miyazaki: "Global Multi-Point Streaming Experiments Based on the Flexcast Protocol," NTT Technical Review, Vol. 1, No. 5, pp. 24-30, Aug. 2003.
- S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data," Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 156-164, Feb. 2007.
- S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs," Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 165-172, Feb. 2007.
- Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction," IEICE Trans. Fundamentals, Vol. E91-A, No.12, pp. 3793-3802, Dec. 2008.
- S. Minato: "Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering," New Generation Computing, Vol. 29, No. 2, pp. 223-228, Ohmusha and Springer, Apr. 2011. (invited)
- Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "Synthesis of Semi-Classical Quantum Circuits," Journal of Multi-Valued Logic & Soft Computing, Vol. 18, No. 1, pp. 99-113, Old City Publishing, Jan. 2012.
- Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato: "Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs," Algorithms, Vol.5, No. 2, pp. 176-213, MDPI, Apr. 2012.
- Takeru Inoue and Shin-ichi Minato: "On Tackling Flash Crowds with
URL
Shorteners and Examining User Behavior after Great East Japan
Earthquake," IEICE Trans. Communications, special section on "Future
Internet Technologies Against Present Crises," Vol. E95-B, No. 7, pp.
2210-2221,
Jul. 2012.

- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "A Dynamically Reconfigurable FPGA-based Hardware for Large-Scale Regular Expression Matching," IEICE Trans. Inf. & Syst., Vol. E95-D, No. 7, pp. 1847-1857, Jul. 2012.
- Shin-ichi Minato: "Techniques of BDD/ZDD: Brief History and Recent Activity," IEICE Trans. Inf. & Syst., Vol. E96-D, No. 7, pp. 1419-1429, Jul. 2013.
- Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi: "Distribution Loss Minimization With Guaranteed Error Bound," IEEE Trans. Smart Grid, Vol. 5, No. 1, pp. 102-111, Jan. 2014.
- Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams," IEICE Trans. Fundamentals, Vol. E97-A, No. 6, pp. 1171-1179, June 2014.
- Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu,
Shin-ichi Minato, and Yasuhiro Hayashi: "Distribution Network
Verification for Secure Restoration by Enumerating All Critical
Failures,"
IEEE Trans. Smart Grid, Vol. 6, No. 2, pp. 843-852, DOI
10.1109/TSG.2014.2359114, Mar. 2015.

- Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi
Minato: "Graphillion: software library for very large sets of labeled
graphs," International Journal on Software Tools for Technology
Transfer (STTT), DOI
10.1007/s10009-014-0352-z, Vol. 18 No. 1, pp. 57-66, Springer, Feb.
2016.

- Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato: "Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations," Journal of Discrete Applied Mathematics, Vol. 212, pp. 61-80, DOI 10.1016/j.dam.2014.11.022, Oct. 2016.
- Reona MINODA and Shin-ichi MINATO: "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages," IEICE Transactions on Information and Systems, Vol. E100-D, No. 6, pp. 1172-1181, DOI 10.1587/transinf.2016FOP0009, June 2017.
- Shin-ichi Minato: "Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation," IEICE Transactions on Information and Systems, Vol .E100-D, No.08, pp. 1556-1562, DOI 10.1587/transinf.2016LOI0002, Aug. 2017. (invited)
- Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato: "Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation," IEICE Trans. Fundamentals, Vol. E100-A, No. 9, pp. 1773-1784, DOI 10.1587/transfun.E100.A.1773, Sep. 2017.
- Fumito
Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba,
Shin-ichi Minato and Masaaki Nagata: "BDD-Constrained A* Search: A Fast
Method for Solving Constrained Shortest-Path Problems," IEICE
Transactions on Information and Systems, Vol. E100-D, No. 12, pp.
2945-2952, DOI
10.1587/transinf.2017EDP7109,
Dec.
2017.

- Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi: "Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors," Computer Communications, Vol. 116, pp. 101-117, Elsevier, DOI 10.1016/j.comcom.2017.11.011, Jan. 2018.
- Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: "Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling," IEEE Trans. Smart Grid, DOI 10.1109/TSG.2016.2604922, Vol. 9, No. 3, pp. 1986-1996, May 2018.
- Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato: "Fast compilation of graph substructures for counting and enumeration," Behaviormetrika, Vol. 45, No. 2, pp.423-450, Springer, DOI 10.1007/s41237-018-0056-x, June 2018.
- Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura,
Shin-ichi Minato, and Kunihiko Sadakane: " DenseZDD: A Compact and Fast
Index for Families of Sets," Algorithms, DOI 10.3390/a11080128,
Vol. 11, No. 8, p.128, Aug. 2018.

- Hirofumi Suzuki and Shin-ichi Minato: "Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E101-A, No. 9, pp. 1375-1382, DOI 10.1587/transfun.E101.A.1375, Sep. 2018.
- Shan Gao, Masakazu Ishihata, and Shin-ichi Minato: "Separate
Compilation of Bayesian Networks for Efficient Exact Inference,"
Artificial Intelligence, Vol. 33, No. 6A, The Japanese Society of
Artificial Intelligence (JSAI), Vol. 33, No. 6A, pp. A-I35_1-15, DOI 10.1527/tjsai.A-I35,
Nov. 2018.

- Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro
Hayashi: "Scalable Enumeration Approach for Maximizing Hosting Capacity
of Distributed Generation," International Journal of Electrical Power
& Energy Systems, Vol. 105, pp. 867-876, DOI
10.1016/j.ijepes.2018.09.010, Elsevier, Feb. 2019.

- Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato,
and Koji Kurihara: "Evaluation of Hotspot Cluster Detection using
Spatial Scan Statistic based on Exact Counting," Japanese Journal of
Statistics and Data Science (JJSD), Vol. 2, No. 1, pp. 241-262,
Springer, DOI
10.1007/s42081-018-0030-6, June 2019.

- Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato: "A tree decomposition-based approach for compiling independent sets," Journal of Information Processing (JIP), Vol. 28, pp. 354-368, DOI 10.2197/ipsjjip.28.354, July 2020.
- Go Kato and Shin-ichi Minato:"Enumeration of associative magic squares of order 7," Journal of Information Processing (JIP), Vol. 28, pp. 903-910, DOI 10.2197/ipsjjip.28.903, Dec. 2020.
- Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki: "Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102,400 nodes," Soft Computing, Vol. 25, pp. 1731-1749, Springer, DOI 10.1007/s00500-020-05502-6, Jan. 2021.
- Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, and Jumpei Mori: "DAG-pathwidth: Graph algorithmic analyses of DAG-type blockchain networks," IEICE Transactions on Information and Systems, Vol. E106-D, No.3, pp. 272-283, DOI: 10.1587/transinf.2022FCP0007, Mar. 2023.
- Ryosuke Matsuo and Shin-ichi Minato: "A Complete Library of Cross-Bar Gate Logic with Three Control Inputs," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2023. (to appear)

- H. Okuno, S. Minato, and H. Isozaki: "On the Properties of Combination Set Operations", Information Procssing Letters, Elsevier, 66 (1998), pp. 195-199, 1998.
- Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and
Shin-ichi Minato: "Counterexamples to the long-standing conjecture on
the complexity of BDD binary operations," Information Processing
Letters, Elsevier, Vol. 112, Issue 16, pp. 636-640, Aug.
2012.

- S. Minato: "VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs," In K. P. Jantke, et al. editors, "Federation over the Web", LNAI 3847, pp. 40-58, Springer, Feb. 2006.
- S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs," In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings," LNAI 4012, pp. 169-181, Springer, Apr. 2006.
- R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs," In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings," LNAI 4384, pp. 289-300, Springer, Feb. 2007.
- S. Minato and H. Arimura: "Frequent Pattern Mining and Knowledge
Indexing Based on Zero-Suppressed BDDs," In "Knowledge Discovery in
Inductive Databases, 5th International Workshop, KDID 2006 Revised
Selected and Invited Papers," LNCS 4747, pp. 152-169, Springer, Sep.
2007.

- Shin-ichi Minato: "Discrete Structure Manipulation for Discovery
Science Problems," In Erol Gelenbe et al. editors, "Computer and
Information Sciences - Proceedings of the 25th International Symposium
on Computer and Information Sciences, London, UK, September 22-24,
2010," LNEE 62, pp. 359-364, Springer, DOI
10.1007/978-90-481-9794-1_67, Sep. 2010.

- Shin-ichi Minato and Nicolas Spyratos: "BDD-Based Combinatorial Keyword Query Processing," In G. Kreuzberger, A. Lunzer, and R. Kaschek, editor, "Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use," chapter 2, pp. 26-39, InformatIon ScIence reference by IGI Global, Jan. 2011.
- Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler: "Using PiDDs in the Design of Reversible Circuits (Work-In-Progress)," In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers," LNCS 7581, pp. 197-203, Springer, Feb. 2013.
- Hiroshi Aoki, Takahisa Toda, and Shin-ichi Minato: "Three-way Indexing ZDDs for Large-Scale Sparse Datasets," In "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD 2014 International Workshops Revised Selected Papers," LNCS 8643, pp. 457-469, Springer, Dec. 2014.
- Shogo Takeuchi, Takahisa Toda, and Shin-ichi Minato: "A General Framework for Parallel Unary Operations on ZDDs," In "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD 2014 International Workshops Revised Selected Papers," LNCS 8643, pp. 494-503, Springer, Dec. 2014.
- Norihito Yasuda, Masaaki Nishino, and Shin-ichi Minato: "On the
Size of the Zero-Suppressed Binary Decision Diagram that Represents All
the Subtrees in a Tree," In "Trends and Applications in Knowledge
Discovery and Data Mining, PAKDD 2014 International Workshops Revised
Selected Papers," LNCS 8643, pp. 504-512, Springer, Dec. 2014.

- S. Minato, N. Ishiura, and S. Yajima: "Fast tautology checking using shared BDD", In Proc. of IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pp. 107-111, Nov. 1989.
- S. Minato, N. Ishiura, and S. Yajima: "Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation", In Proc. of 27th ACM/IEEE Design Automation Conference (DAC'90), pp. 52-57, Jun. 1990.
- S. Minato: "Fast generation of irredundant sum-of-products forms
from binary decision diagrams", In Proc. of Synthesis and Simulation
Meeting and International Interchange (SASIMI'92, Kobe, Japan), pp.
64-73, Apr. 1992.

- S. Minato: "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems", In Proc. of 30th ACM/IEEE Design Automation Conference (DAC'93), pp. 272-277, Jun. 1993.
- S. Minato: "Fast weak-division method for implicit cube
representation", In Proc. of Synthesis and Simulation Meeting and
International Interchange (SASIMI'93, Nara, Japan), pp. 423-432, Oct.
1993.

- S. Minato: "Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs", In Proc. of 31st ACM/IEEE Design Automation Conference (DAC'94), pp. 420-424, Jun. 1994.
- S. Minato: "Implicit Manipulation of Polynomials Using Zero-Suppressed BDDs", In Proc. of IEEE The European Design and Test Conference (ED&TC'95), pp. 449-454, Mar. 1995.
- S. Ishihara and S. Minato: "Manipulation of Regular Expressions Under Length Constraints Using Zero-Suppressed-BDDs", In Proc. of ACM/IEEE Asia South Pacific Design Automation Conference (ASPDAC'95), A-7B.3, Aug. 1995.
- T. Yoneda, H. Hatori, A. Takahara and S. Minato: "BDDs vs. Zero-Suppressed BDDs: For CTL Symbolic Model Checking of Petri Nets", In Proc. of International Conference, Formal Methods in Computer-Aided Design (FMCAD'96), LNCS 1166, pp.435-449, Springer, Nov. 1996.
- S. Minato: "Generation of BDDs from Hardware Algorithm Descriptions", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'96), pp. 644-649, Nov. 1996.
- V. Bertacco, S. Minato, P. Verplaetse, L. Benini, G. de Micheli, "Decision Diagrams and Pass-Transistor Logic Synthesis", In Workshop Note of International Workshop on Logic Synthesis (IWLS'97), p. 109-113, May, 1997.
- S. Minato and G. De Micheli: "Finding All Simple Disjunctive Decompositions Using Irredundant Sum-of-Products Forms", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'98), pp. 111-117, Nov. 1998.
- S. Minato: "Streaming BDD Manipulation Algorithm", In Workshop Note of International Workshop on Logic Synthesis (IWLS-2000, Dana Point, CA), May 2000.
- S. Minato and S. Ishihara: "Streaming BDD Manipulation for Large-Scale Combinatorial Problems", In Proc. of ACM/IEEE Design, Automation and Test in Europe (DATE-2001), pp. 702-707, Mar. 2001.
- T. Inoue, S. Tani, K. Ishimaru, S. Minato, and T. Miyazaki: "Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network", In Proc. of IEICE/IEEE 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2003), Nov. 2003.
- S. Minato and H. Arimura: "Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", In Proc. of IEEE/IEICE/IPSJ International Workshop on Challenges in Web Information Retrieval and Integration (WIRI-2005), pp. 3-10, Apr., 2005.
- S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs", In Proc. of JSAI 3rd Workshop on Learning with Logics and Logics for Learning (LLLL-2005), pp. 3-9, June 2005.
- T. Inoue, S. Tani, H. Takahashi, S. Minato, T. Miyazaki, and K. Toyoshima: "Design and Implementation of Advanced Multicast Router Based on Cluster Computing", In Proc. of IEEE The 11th International Conference on Parallel and Distributed Systems (ICPADS-2005), 4C-1, July 2005.
- S. Minato: "Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDDs", In Proc. of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining, pp. 3-11, ISBN-0-9738918-5-8, Nov. 2005.
- S. Minato: "Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2006), pp. 393-398, Apr. 2006.
- R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs", In Proc. of JSAI 4th Workshop on Learning with Logics and Logics for Learning (LLLL-2006), pp. 61-77, June 2006.
- S. Minato and H. Arimura: Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs, In Proc. The 5th International Workshop on Knowledge Discovery in Inductive Databases (KDID-2006), pp. 83-94, Sep. 2006.
- S. Minato: "Symmetric Item Set Mining Based on Zero-suppressed BDDs," In Proc. of the 9th International Conference on Discovery Science (DS-2006), (LNAI 4265, Springer), pp. 321-326, Oct. 2006.
- S. Minato, K. Satoh, and T. Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs," In Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007), pp. 2550-2555. Jan. 2007.
- H. Iwasaki, S. Minato, and T. Zeugmann: "A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applications," In Proc. of The Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD 2007), pp. 85-90, Apr. 2007.
- Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann: "Unordered N-gram Representation Based on Zero-suppressed BDDs for Text Mining and Classification," In Proc. of the 5th Workshop on Learning with Logics and Logics for Learning (LLLL 2007), pp.32-38, June 2007.
- S. Minato: "A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets," In Proc. of the 10th International Conference on Discovery Science (DS-2007), (LNAI 4755, Springer), pp. 139-150, Oct. 2007.
- S. Minato, T. Uno, and H. Arimura: "LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," In Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2008), (LNAI 5012, Springer), pp. 234-246, May 2008.
- S. Minato: "A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 53-58, July 2008.
- S. Yamashita, S. Minato, and D. M. Miller: "An Efficient Verification of Quantum Circuits under a Practical Restriction," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 873-879, July 2008.
- Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi
Minato: "Propositionalizing the EM algorithm by BDDs," In Late Breaking
Papers of 18th International Conference on Inductive Logic Programming
(ILP 2008), pp. 44-49, Sep. 2008.

- Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, and Shin-ichi Minato: "Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion," In Proc. of IEICE 14th Asia-Pacific Conference on Communications (APCC2008), 16-AM1-E, Oct. 2008.
- Shin-ichi Minato: "Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of Reed-Miller Workshop (RM-2009), pp. 27-32, May. 2009.
- Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu
Kashiwabara, and Shin-ichi Minato: "Exploiting Global Structures in
Bayesian Network Compilation by Zero-suppressed BDDs," In Proc. of 19th
International Conference on Inductive Logic Programming (ILP 2009),
July, 2009.

- Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey: "Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining," In Proc. of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL 2009), pp. 51-55, July, 2009.
- Daisuke Tokoro, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, and Shin-ichi Minato: "Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs," In Proc. of the International Workshop on Data Mining and Statistical Science (DMSS 2009), pp. 98-103, July, 2009.
- Shin-ichi Minato and Takeaki Uno: "Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases," In Proc. of 2010 SIAM International Conference on Data Mining (SDM 2010), pp. 339-349, Apr. 2010.
- S. Yamashita, S. Minato, and D. M. Miller: "Synthesis of
Semi-Classical Quantum Circuits," In Proc. of 2nd Workshop on
Reversible
Computation, pp. 93-99, Jul. 2010.

- Yusaku Kaneta, Shin-ichi Minato, and Hiroki Arimura: "Fast
Bit-Parallel Matching for Network and Regular Expressions," In Proc. of
17th Symposium on String Processing and Information Retrieval (SPIRE
2010), pp. 372-384, Oct. 2010.

- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga: "Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method," In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2010), pp. 401-406, Oct. 2010.
- Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi
Minato: "An EM algorithm on BDDs with order encoding for logic-based
probabilistic models," In Proc. of 2nd Asian Conference on Machine
Learning (ACML2010), pp. 161-176, Nov. 2010.

- Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi
Minato: "Parameter learning for Bayesian Networks on Shared Binary
Decision Diagrams," In Proc. of 1st International Workshop on Advanced
Methodologies for Bayesian Networks (AMBN 2010), p. 11, Nov. 2010.

- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," In Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), pp. 21-28, Dec. 2010.
- Shin-ichi Minato: "PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space," In Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing, pp. 90-104, Jun. 2011.
- Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi
Minato:
"Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic
Automata and Complexities of Binary Set Operations," In Proc. of Prague
Stringology Conference 2011 (PSC2011), pp. 147-161, Aug. 2011.

- Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: "Implementation
of
Sequence BDDs in Erlang," In Proc. of Tenth ACM SIGPLAN Erlang
Workshop,
pp. 90-91, Sep. 2011.

- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura: "High-speed String and Regular Expression Matching on FPGA," In Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011), Oct. 2011.
- Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato and
Makoto Yokoo: "Compact Representation Scheme of Coalitional Games
Based on Multi-terminal Zero-suppressed Binary Decision Diagram," In
Proc.
of 14th International Conference on Principles and Practice of
Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), pp. 4-18, Nov.
2011.

- Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato: "An
Efficient Algorithm for Constructing a Sequence Binary Decision Diagram
Representing a Set of Reversed Sequences," In Proc. of 2011 IEEE
International Confenrece on Granular Computing, pp. 54-59, Nov. 2011.

- Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato: "Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs," In Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), pp. 203-212, Dec. 2011.
- Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato: "Incremental Set Recommendation Based on Class Differences," In Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), pp. 183-194, May 2012.
- Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato: "Shared-Memory Parallel Frontier-Based Search," In Proc. of 7th Workshop on Algorithms and Computation (WALCOM2013), (LNCS 7748, Springer), pp. 170-181, Feb. 2013.
- Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler: "Debugging of Reversible Circuits Using PiDDs," In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), pp. 316-321, May 2013.
- Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams," In Proc. of Permutation Patterns 2013, pp. 43-44, July 2013.
- Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato: "Enumeration of Region Partitioning for Evalcuation Planning based on ZDD," In Proc. of International symposium on Operation Research & its Applications (ISORA2013), pp. 64-71, Aug. 2013.
- Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato: "Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams," In Proc. of Prague Stringology Conference 2013 (PSC2013), pp. 157-167, Sep. 2013.
- Shin-ichi Minato: "Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets," In Proc. of European Symposium on Algorithms 2013 (ESA 2013), (LNCS 8125, Springer), pp. 731-742, Sep. 2013.
- Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest," In Proc. of 2014 SIAM International Conference on Data Mining (SDM 2014), pp. 1073-1081, Apr. 2014.
- Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura,
Shin-ichi Minato and Kunihiko Sadakane: "DenseZDD: A Compact and Fast
Index for Families of Sets," In Proc. of Symposium on Experimental
Algorithms (SEA 2014), (LNCS 8504, Springer), pp. 187-198, Jun. 2014.

- Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama,
and Shin-ichi Minato: "Fast Regular Expression Matching Based On Dual
Glushkov NFA," In Proc. of Prague Stringology Conference 2014 (PSC
2014), pp. 3-16, Sep. 2014.

- Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, and Jun Sese: "A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration," In Proc. of The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2014 (ECML PKDD 2014), Part II, (LNAI 8725, Springer), pp. 422-436, Sep. 2014.
- Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi: "Rethinking Packet Classification for Global Network View of Software-Defined Networking," In Proc. of the 22nd IEEE International Conference on Network Protocols (ICNP 2014), pp. 296-307, Oct. 2014.
- Yuma Inoue and Shin-ichi Minato: "An Efficient Method for Indexing All Topological Orders of a Directed Graph," In Proc. of the 25th International Symposium on Algorithms and Computation (ISAAC 2014), (LNCS 8889, Springer), pp. 103-114, Dec. 2014.
- Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki
Nagata: "BDD-constrained Search: A Unified Approach to Constrained
Shortest Path Problems," In Proc. of the 29th AAAI
Conference on Artificial Intelligence (AAAI2015), pp. 1219-1225, Jan.
2015.

- Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato: "Enumerating Eulerian Trails via Hamiltonian Path Enumeration," In Proc. of 9th International Workshop of Algorithms and Computation (WALCOM2015), (LNCS 8973, Springer), pp. 161-174, Feb. 2015.
- Takahisa Toda, Shogo Takeuchi, Koji Tsuda, and Shin-ichi Minato: "Superset Generation on Decision Diagrams," In Proc. of 9th International Workshop of Algorithms and Computation (WALCOM2015), (LNCS 8973, Springer), pp. 317-322, Feb. 2015.
- Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata: "A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization," In Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), pages 462–471, May 2015.
- Yuma Inoue and Shin-ichi Minato: "Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits," In Proc. of the 7th International Conference on Reversible Computation (RC 2015), (LNCS 9138, Springer), pp. 186-199, July. 2015.
- Shan Gao and Shin-ichi Minato: "Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations," In Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), (LNAI 9505, Springer), pp. 168-183, Nov. 2015.
- Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "Zero-suppressed Sentential Decision Diagrams," In Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), pp. 1058-1066, Feb. 2016.
- Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato: "Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System," In Proc. of 19th Power Systems Computation Conference (PSCC 2016), pp. 1-7, Jun. 2016.
- Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato: "Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits," In Proc. of the 8th International Conference on Reversible Computation (RC 2016), (LNCS 9720, Springer), pp. 181-196, Jul. 2016.
- Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato: "Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model," In Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), a Workshop session of Mathematical Modeling and Problem Solving, pp. 356-362, Jul. 2016.
- Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato: "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking," In Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), pp. 65-71, Oct. 2016. (Best paper awarded)
- Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata: "Dancing with Decision Diagrams: A Combined Approach to Exact Cover," In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), pp. 868-874, Feb. 2017.
- Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki
Nagata: "Compiling Graph Substructures into Sentential Decision
Diagrams," In Proc. of the 31st AAAI Conference on Artificial
Intelligence (AAAI2017), pp. 1213-1221, Feb. 2017.

- Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba,
Shin-Ichi Minato and Masaaki Nagata: "BDD-Constrained A* Search: A Fast
Method for Solving Constrained DAG Shortest-Path Problems," In Proc. of
Workshops at the 31st AAAI Conference on Artificial Intelligence, The
AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt
2017), WS-17-14, pp. 944-950, Feb. 2017.

- Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato: "Generating All Patterns of Graph Partitions within a Disparity Bound," In Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), (LNCS 10167, Springer), pp. 119-131, Mar. 2017.
- Reona Minoda and Shin-ichi Minato: "Efficient Scenario
Verification of Proximity-based Federations among Smart Objects through
Symbolic Model Checking," In Proc. of the 7th International Joint
Conference on Pervasive and Embedded Computing and Communication
Systems (PECCS 2017), pp.13-21, Jul. 2017. (Best paper awarded)

- Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi
Nishibayashi and Shin-ichi Minato: "Statistical Emerging Pattern Mining
with Multiple Testing Correction," In Proc. of the 23rd SIGKDD
Conference on Knowledge Discovery and Data Mining (KDD 2017), pp.
897-906, Aug.
2017.

- Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi
Minato: "Fast Compilation of s-t Paths on a Graph for Counting and
Enumeration," In Proc. of the Third Workshop on Advanced Methodologies
for Bayesian Networks (AMBN2017), pp. 129-140. Sep. 2017.

- Gao Shan, Masakazu Ishihata, and Shin-ichi Minato: "Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation," In Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), pp. 117-128, Sep. 2017.
- Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato: "Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking," In Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp. 85-91, Nov. 2017. (Best paper awarded)
- Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato,
and Masaaki Nagata: "Optimizing Network Reliability via Best-First
Search over Decision Diagrams," In Proc of 2018 IEEE Conference on
Computer Communications (INFOCOM2018), pp. 1817-1825, Apr. 2018.

- Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato: "Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams," In Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), pp. 585-594, April, 2018.
- Takashi Takemoto, Normann Mertig, Masato Hayashi, Saki
Susa-Tanaka,
Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi
Minato, Tamiki Komatsuzaki and Masanao Yamaoka: "FPGA-Based QBoost with
Large-Scale Annealing Processor and Accelerated Hyperparameter Search,"
In Proc. of IEEE CAS 2018 International Conference on Reconfigurable
Computing and FPGAs (ReConFig 2018), pp. 1-8, Dec. 2018.

- Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto,
Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi
Minato, Masanao Yamaoka, and Tamiki Komatsuzaki: "Graph Minors from
Simulated Annealing for Annealing Machines with Sparse Connectivity,"
In Proc. of 7th International Conference on the Theory and Practice of
Natural Computing (TPNC 2018), (LNCS 11324, Springer), pp. 112-123,
Dec. 2018.

- Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato: "Exact Computation of Strongly Connected Reliability by BDDs," In Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), (LNCS 11346, Springer), pp. 281-295, Dec. 2018.
- Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara: "A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic," In Proc. of SIAM International Conference on Data Mining (SDM2019), pp. 91-99, May, 2019.
- Go Kato, Shin-ichi Minato: "Enumerating associative magic squares
of order 7," In Collection of abst. of Japan Conference on Discrete and
Computational
Geometry, Graphs, and Games (JCDCG^3 2019), pp.85-86, Sep. 2019.

- Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Takashi Takemoto, "Compiling higher order binary optimization problems into annealing processors," 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020), Jan. 2020.
- Hirofumi Suzuki, Masakazu Ishihata and Shin-ichi Minato:
"Designing Survivable Networks with Zero-suppressed Binary Decision
Diagrams," In Proc. of the 14th International Workshop of Algorithms
and Computation (WALCOM2020), (LNCS 12049, Springer), pp. 273-285, Mar.
2020.

- Yu Nakahata, Jun Kawahara, Takashi Horiyama and Shin-ichi Minato: "Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration," In Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), pp. 211-222, Mar. 2020.
- Yu Nakahata, Masaaki Nishino, Jun Kawahara, and Shin-ichi Minato: "Enumerating All Subgraphs under Given Constraints Using Zero-suppressed Sentential Decision Diagrams," In Proc of 18th Symposium on Experimental Algorithms (SEA2020), pp. 9:1-9:14, June 2020.
- Hiroshi Uchigaito, Tomoki Shirai, Yoichi Iwata, Normann Mertig,
Yuya Sugie, Tsubasa Oizumi, Hiroshi Teramoto, Atsuyoshi Nakamura,
Shin-ichi Minato, Tamiki Komatsuzaki, and Takashi Takemoto: "Minimizing
customer waiting time with a new delivery-tour planning algorithm based
on tour division and dynamic route optimization," In Proc. of 2020
International Symposium on Nonlinear Theory and its Applications (NOLTA
2020), pp. 413-416, Nov. 2020.

- Ryosuke Matsuo and Shin-ichi Minato: "BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits," In Proc. of 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI2021), pp. 96-101, Jul. 2021.
- Ryosuke Matsuo and Shin-ichi Minato: "Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports," In Proc. of ACM/IEEE Design, Automation and Test in Europe Conference (DATE2022), pp. 1077-1082, Mar. 2022.
- Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka and Ryo Yoshinaka: "Sorting Balls and Water: Equivalence and Computational Complexity," In Proc. of 11th International Conference on Fun with Algorithms (FUN 2022), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 226, pp. 16:1-16:17, DOI: 10.4230/LIPIcs.FUN.2022.16, May 2022.
- Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato: "A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure," In Proc. of 2023 IEEE International Conference on Computer Communications (INFOCOM2023), May 2023.
- Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato: "Exact and Efficient Network Reliability Evaluation per Outage Scale," In Proc. of IEEE International Conference on Communication, (ICC 2023) , May 2023.
- Kengo Nakamura, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato: "CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints, " In Proc of 21st International Symposium on Experimental Algorithms (SEA 2023), pp. 11-20, July 2023.
- Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, and Shin-ichi Minato: "Optimizing Decision Diagrams for Measurements of Quantum Circuits", In Proc. of the 29th Asia South Pacific Design Automation Conference (ASPDAC 2024), Jul. 2024. (to appear)

- D. Rotter, K. Hamaguchi, S. Yajima, and S. Minato: "Manipulation of Large-Scale Polynomials Using Binary Moment Diagrams", Kyoto University KUIS Technical Report, KUIS-96-0002, pp.1-8, Apr. 1996.
- V. Bertacco, S. Minato, P. Verplaetse, L. Benini, and G. De Micheli: "Decision Diagrams and Pass Transistor Logic Synthesis", Stanford University CSL Technical Report, No. CSL-TR-97-748, Dec. 1997.
- Shin-ichi Minato: "An Implicit Method of Boolean Resubstitution in Multi-Level Logic Synthesis," In B. Becker, C. Meinel, S. Minato and F. Somenzi , editor, "Decision Diagrams - Concepts and Applications", Dagstuhl-Seminar-Report; 299 (99041), p.11, Jan. 1999.
- Shin-ichi Minato and Hiroki Arimura: "Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-04-1, Dec, 2004.
- Shin-ichi Minato: "VSOP (Valued-Sum-Of-Products) Calculator Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-3, May, 2005.
- S. Minato and M. Yoshioka: "Double-Decker RFID Tags -- Basic Structures and Applications", In Proc. of First Korea/Japan Joint Workshop on Ubiquitous Computing & Networking Systems (UbiCNS-2005), June 2005.
- S. Minato: " Finding All Simple Disjoint Decompositions in Frequent Itemset Data", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-9, Sep., 2005.
- S. Minato, H. Takahashi, T. Inoue, H. Tohjo, and K. Toyoshima: "A Framework of Programmable Multicast Applications Using Flexcast and Java Applet," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-10, Jan. 2006.
- S. Minato, H. Arimura: "ZBDD-growth: An Efficient Method for Frequent Pattern Mining and Knowledge Indexing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-12, Apr. 2006.
- S. Minato: "Symmetric Item Set Mining Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-14, May. 2006.
- R. Kurai, S. Minato, and T. Zeugmann: " N-gram Analysis Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-16, Jun. 2006.
- S. Minato: "Generating Frequent Closed Item Sets Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-17, Jul. 2006.
- Shin-ichi Minato: "Generating Frequent Closed Item Sets Using Zero-suppressed BDDs," Knowledge Media Technologies - First International Core-to-Core Workshop, In Klaus P. Jantke and Gunther Kreuzberger, Eds., Diskussionsbeitrage, Institut fur Medien und Kommunikationswisschaft, Technische Universitat Ilmenau No. 21, pp. 145-153, Jul. 2006.
- Shin-ichi Minato, Ken Satoh, and Taisuke Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-18, Jul. 2006.
- S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 70-76, Sep. 2006.
- S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 77-84, Sep. 2006.
- Shin-ichi Minato and Kimihito Ito: "Symmetric Item Set Mining Method Using ZBDDs and Application to Biological Data," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-22, Nov. 2006.
- H. Iwasaki, S. Minato and T. Zeugmann: "A Method of Variable Ordering for Zero-suppressed BDDs in Data Mining Applications," 18th IEICE Data Engineering Workshbop (DEWS2007), DEWS2007, M4-6, Apr. 2007.
- Shin-ichi Minato: "Itemset Mining Based on Cofactor Implication," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-25, May. 2007.
- Shin-ichi Minato: "A Theoretical Study on Variable Ordering of ZBDDs for Representing Frequent Itemsets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-27, May. 2007.
- S. Minato and N. Spyratos: "Keyword Query Processing Using Binary Decision Diagrams under a Taxonomy Model," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-28, Aug. 2007.
- S. Minato, N. Spyratos: "Combinatorial Keyword Query Processing under a Taxonomy Model Using Binary Decision Diagrams," In workshop note of Perspectives of Intelligent System's Assistance (PISA-2007), Aug. 2007.
- S. Minato, T. Uno, and H. Arimura: "
**Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-30, Oct. 2007.** - S. Yamashita, S. Minato, and D. M. Miller: "
**An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-33, Dec. 2007.** - Shin-ichi Minato: "Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2008 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2008) , Hokkaido University, pp. 39-43, Jan. 2008.
- Shin-ichi Minato: "Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)," In Proc. of 2008 Interenational Workshop on Multi-Media Signal Processing (IWMMSP 2008) , Hokkaido University, pp. 23-26, June 2008.
- M. Ishihata, Y. Kameya, T. Sato, and S. Minato: "Propositionalizing the EM algorithm by BDDs," Technical Report TR08-0004, Dept. of Computer Science, Tokyo Institute of Technology, June, 2008.
- Shin-ichi Minato: "ZBDD-Based Probabilistic Computation and Application for System Analysis," In Proc. of Workshop of SoC Design Methodologies, National Tsing Hua University, pp. 125-131, Sep. 2008
- Shin-ichi Minato: "Application of Binary Decision Diagrams for Probabilistic System Analysis," In Proc. of the 10th International Joint Symposium between Hokkaido University and Chungnam National University, pp. 144-155, Oct. 2008.
- Shin-ichi Minato and Takeaki Uno: "Distinctive Frequent Itemset Mining from Time Segmented Databases Using ZDD-Based Symbolic Processing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-09-37, Jan. 2009.
- Shin-ichi Minato: "Recent Progress on Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2009 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009) , Hokkaido University, pp. 55-60, Jan. 2009.
- Shin-ichi Minato: "Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery" (Invited talk), The International Workshop on Data Mining and Statistical Science (DMSS 2009), July, 2009.
- Shin-ichi Minato and Yusaku Kaneta: "A Data Stream Processing System for a Multiple Regular Expression Matching using FPGA," Panel Session"Hardware Software Co-research for Efficient Information Processing," Abstract of Asia-Pacific Signal and Information Processing Association 2009 Annual Summit and Conference (APSIPA ASC 2009), p. 34, Oct. 2009.
- Shin-ichi Minato: "Current and Future Work on Discrete Structure Manipulation for Knowledge Discovery," In Proc. of 2010 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2010) , Hokkaido University, pp. 46-49, Jan. 2010.
- Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato: "Substring Indices Based on Sequence BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-42, Apr. 2010.
- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-45, Jun. 2010.
- Shin-ichi Minato: "Recent and Future Work on Decision Diagrams and Discrete Structure Manipulation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-B-10-7, Jul. 2010.
- Shin-ichi Minato: "Recent Topics on Decision Diagrams and Discrete Structure Manipulation," In Proc. of 9th International Workshop on Boolean Problems (IWSBP 2010), pp. 103-112, Sep. 2010. (invited)
- Shin-ichi Minato: "Discrete Structure Manipulation for Discovery Science Problems," In Proc. of 25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010), pp. 359-364, Sep. 2010. (invited)
- Shin-ichi
Minato: "Discrete Structure Manipulation System and Applications for
Uncertain Data Processing," In Proc. of 1st International Workshop on
Advanced Methodologies for Bayesian Networks (AMBN 2010), p. 19, Nov.
2010.
(invited)

- Shin-ichi Minato, Mikael Onsjo, and Osamu Watanabe: "Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism," Dept. of Math. and Comp. Sciences Research Reports, C-274, Tokyo Institute of Technology, Jan. 2011
- Shin-ichi Minato: "Discrete Structure Manipulation Systems for Large-Scale Knowledge Processing," In Proc. of 2011 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2011) , Hokkaido University, pp. 59-62, Jan. 2011.)
- Shin-ichi Minato: "PiDD: A New Decision Diagram for Manipulating Sets of Permutations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-50, Feb. 2011.
- Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato: "Counter Examples to the Conjecture on the Complexity of BDD Binary Operations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-52, Apr. 2011.
- Shuhei Denzumi, Ryo Yoshinaka, Shin-ichi Minato, and Hiroki Arimura: "Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-53, Apr. 2011.
- Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Fast String Matching Hardwares Based on Bit-Parallel Method for Data Streams," In Proc of 2011 International Symposium on Multimedia and Communication Technology (ISMAC 2011), Sep. 2011.
- Jun Kawahara, Toshiki Saitoh, Ryo Yoshinaka and Shin-ichi Minato: "Counting Primitive Sorting Networks by PiDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-54, Oct. 2011.
- Shin-ichi Minato: "Prospective Research Direction on Discrete Structure Manipulation System," In Proc. of 2012 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2012) , Hokkaido University, pp. 60-63, Jan. 2012.
- Shin-ichi Minato: "Permutation Decision Diagrams (PiDDs) and Analysis of Primitive Sorting Networks," In Kenichi Morita and Robert Wille, editor, "Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502), " Dagstuhl Report, ISSN 2192-5283, Vol. 1, No. 12, p. 56, Mar. 2012.
- Norihiro Yamada and Shin-ichi Minato: "A PiDD-Based Method for Generating Conjugacy Classes of Permutation Groups," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-56, Apr. 2012.
- Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato: "Shared-Memory Parallel Algorithms for Frontier-Based Search," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-57, Apr. 2012.
- Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler: "Using πDDs in the Design for Reversible Circuits," In Workshop Note of 4th Workshop on Reversible Computation (RC 2012), Jul. 2012.
- Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato: "A Compact Complete Inverted File Based on Sequence Binary Decision Diagrams," In Workshop Note of 15th Japan-Korea Joint Workshop on Algorithms and Computation, Jul. 2012.
- Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi: "Loss Minimization of Power Distribution Networks with Guaranteed Error Bound," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-59, Aug. 2012.
- Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "ZDD-Based Computation of the Number of Paths in a Graph," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-60, Sep. 2012.
- Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, and
Shin-ichi Minato: "Fast and Succinct Indices Based on

Zero-Suppressed Binary Decision Diagrams," In Proc. of Third Workshop on Algorithms for Large-Scale Information Processing (ALSIP 2012), Nov. 2012. - Shin-ichi Minato: "Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-63, Apr. 2013.
- Hiroaki Iwashita, Yoshio Nakazawa, Jun Kawahara, Takeaki Uno, and Shin-ichi Minato: "Efficient Computation of the Number of Paths in a Grid Graph with Minimal Perfect Hash Functions," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-64, Apr. 2013.
- S. Minato: "Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation," In Proc. of Reed-Muller Workshop 2013 (RM2013), pp. 1-7, May 2013 (invited talk).
- Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "Graphillion: Software Library Designed for Very Large Sets of Graphs in Python," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-65, June 2013.
- Shin-ichi Minato: "Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets (Revised Ed.)," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-66, June 2013.
- Shin-ichi Minato: "Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation," In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), p. 13, Aug. 2013.
- Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Implicit Generation of Pattern-Avoiding Permutations Based on PiDD," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-67, Sep. 2013.
- Shin-ichi Minato: "Power of Enumeration --- State-of-the-art Algorithms for Tackling Combinatorial Explosion", In Proc. of the Workshop on Synthesis and Simulation Meeting and International Interchange (SASIMI-2013), I2, pp. 203-207, Oct. 2013. (invited talk)
- Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi
Minato: "Graphillion: ZDD-Based Software Library for Very Large Sets of
Graphs," In Proc. of the Workshop on Synthesis and Simulation Meeting
and International Interchange (SASIMI-2013), R4-6, pp. 237-242, Oct.
2013.

- Shin-ichi Minato: "The Art of Descrete Structure Manipulation Using BDDs/ZDDs and Applications for Network Analysis," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), pp. 43-45, Dec. 2013.
- Hiroshi Aoki and Shin-ichi Minato: "Walk Enumeration Using Sequence Binary Decision Diagrams, " In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), P1-C, pp. 50-51, Dec. 2013.
- Rytaro Kurai, Takahisa Toda, Koji Tsuda, and Shin-ichi Minato: "Fast Frequent Pattern Enumeration for P-Value Calibration in Combinatorial Regulations," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), P35-C, pp. 103-104, Dec. 2013.
- Fiona Mukimba, Ryutaro Kurai, and Shin-ichi Minato: "An Evaluation of the LCM over ZDD algorithm based on Lake Victoria Fisheries Organiztion Database," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), pp. 122-123, Dec. 2013.
- Hiroaki Iwashita and Shin-ichi Minato: "Efficient Top-Down ZDD Construction Techniques Using Recursive Specifications," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-69, Dec. 2013.
- Shin-ichi Minato: "The Art of Discrete Structure Manipulation Based on BDDs and ZDDs," In Andrew V. Goldberg and Giuseppe F. Italiano and David S. Johnson and Dorothea Wagner, editor, "Algorithm Engineering (Dagstuhl Seminar 13391), " Dagstuhl Report, ISSN 2192-5283, Vol. 3, No. 9, p. 182, Jan. 2014.
- Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi: "Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-70, Jan. 2014.
- Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane: "A Compact and Fast Index Structure for Families of Sets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-71, Apr. 2014.
- Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, and Jun
Sese: "Fast Statistical Assessment for Combinatorial Hypotheses Based on

Frequent Itemset Mining," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-72, Apr. 2014. - Norihito Yasuda, Masaaki Nishino, and Shin-ichi Minato, "On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree, " In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 3-9, May 2014.
- Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato, "Three-way Indexing ZDDs for Large-scale Sparse Datasets," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 32-43, May 2014.
- Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato, "A General Framework for Parallel Unary Operations on ZDDs," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 56-67, May 2014.
- Yuma Inoue, Takahisa Toda, and Shin-ichi Minato, "Generating Permutations under Pattern Occurrence Constraints Using PiDDs," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 80-90, May 2014.
- Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, and Shin-ichi Minato: "Fast Regular Expression Matching Using Dual Glushkov NFA," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS Technical Reports, May 2014.
- Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato: "Determination Method of the Configuration Minimizing Yearly Loss," In Proc. of the 20th International Conference on Electorical Engineering (ICEE 2014), T&DSP-2256, Jun. 2014.
- Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi: "Packet Classification for Global Network View of Software-Defined Networking," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-74, Jul. 2014.
- Yuma Inoue and Shin-ichi Minato: "An Efficient Method of Indexing All Topological Orders for a Given DAG," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-75, Jul. 2014.
- Jun Kawahara, Takeru Inoue, Hiroaki Iwashita and Shin-ichi Minato: "Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-76, Sep. 2014.
- Muhammad Kholilurrohman and Shin-ichi Minato: "An Efficient Algorithm for Enumerating Eulerian Paths," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-77, Oct. 2014.
- Yuma Inoue, Takahisa Toda and Shin-ichi Minato: "Generating Sets of Permutations with Pattern Occurrence Counts Using PiDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-78, Oct. 2014.
- Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi and Shin-ichi Minato: "Enumerating Eulerian Trails Based on Line Graph Conversion," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-79, Oct. 2014.
- Shin-ichi Minato: "Power of Enumeration — BDD/ZDD-Based Methods
for Indexing Combinatorial Patterns,"
In Proc. of 9th International Workshop of Algorithms and Computation
(WALCOM2015), (LNCS 8973, Springer), pp. XVIII- XIX, Feb. 2015.
(Invited)

- Shin-ichi Minato: "The Art of Graph Algorithms Based on ``Power
of Enumeration''," In Proc. of the 3rd International Symposium on
Computing and Networking (CANDAR2015), Keynote 2, Dec. 2015. (Invited)

- Shin-ichi Minato: "Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation," In Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016), p. 143, May, 2016. (Invited)
- Yuma Inoue and Shin-ichi Minato: "Acceleration of ZDD Construction for Subgraph Enumeration via Path-width Optimization," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-16-80, Oct. 2016.
- Shin-ichi Minato: "Recent Research Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation," In Proc. of the 11th International Workshop on Information Search, Integration, and Personalization (ISIP 2016), Nov. 2016.
- Hirofumi Suzuki and Shin-ichi Minato: "ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-17-81, Jun. 2017.
- Keisuke Hotta, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato: "Enumeration and Evaluation for the Single-Seat Constituency System," Aural presentation at the 21st Conference of the International Federation of Operational Research Societies (IFORS2017), Jul. 2017.
- Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato: "Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets," arXiv preprint arXiv:1707.08300, Jul. 2017.
- Shin-ichi Minato: "Decision Diagram-Based Enumeration Techniques and Applications for Statistical Data Analysis," In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 182, Aug. 2017.
- Jun Kawahara, Takashi Horiyama, Keisuke Hotta and Shin-ichi Minato: "Enumeration Algorithms for Politival Districting," In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 140, Aug. 2017.
- Shin-ichi Minato: "BDD/ZDD-Based Knowledge Indexing and Real-Life Applications," In Adnan Darwiche, Pierre Marquis, Dan Suciu, and Stefan Szeider, editor, "Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381), " Dagstuhl Report, ISSN 2192-5283, Vol. 7, No. 9, p. 74-75, Mar. 2018.
- Shin-ichi Minato: "Decision Diagram-Based Techniques for
Enumeration Problems and Applications," In Proc. of 2th International
Workshop on Enumeration Problems and Applications (WEPA2018), Nov.
2018. (invited talk)

- Shoya Takahashi, Shin-ichi Minato and Ichigaku Takigawa:
"Enumerating and Indexing Set Partitions Using Sequence BDDs," In Proc.
of 2th International Workshop on Enumeration Problems and Applications
(WEPA2018), Nov. 2018.

- Shin-ichi Minato: "Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis, " In Proc. of 1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University, Mar. 2019.
- Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata: "Decomposing a Graph into Unigraphs," arXiv preprint arXiv:1904.09438, May 2019.
- Shin-ichi Minato: "Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems," In Proc of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), No. 10, Oct. 2019.
- Yu Nakahata, Jun Kawahara, and Shin-ichi Minato: "Decision-Diagram-Based Enumeration of d-Cutsets," In Proc of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), No. 11, Oct. 2019.
- Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato: "Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration," arXiv preprint arXiv:1911.07465, Nov. 2019.
- Shin-ichi Minato: "Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling," In Abstract Note of KOCOON Workshop http://kocoon.gforge.inria.fr/ws_abstracts.html#shin-ichi-minato, Dec. 2019.
- Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka: "Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization," arXiv preprint arXiv:2001.08899, Jan. 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," arXiv preprint arXiv:2004.03819, Apr. 2020.
- Shin-ichi Minato: "Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation," Proc. of 29th International Workshop on Logic and Synthesis (IWLS2020), p. 41, Jul. 2020. (Keynote Talk, Invited)
- Shin-ichi Minato: "Decision Diagrams and Reversible Computation,"
13th
International Conference on Reversible Computation (RC2021), Jul.
2021. (Invited Talk)

- 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," arXiv preprint arXiv:2110.05184, Oct. 2021.
- Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, and Yutaro Yamaguchi: "Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions," arXiv preprint arXiv:2201.08118, Jan. 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," arXiv preprint arXiv:2202.09495v1, Feb. 2022.
- Xiang Liu and Shin-ichi Minato: "A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation," In Proc. of the 84th National Covention of IPSJ, 5K-03, pp. 1-225-226. Mar. 2022.
- Shin-ichi Minato: "BDDs and ZDDs: My Memories on the Shoulders of Giants," Special Session of Bryant Discoveries Day, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022), https://berkeleylearnverify.github.io/BryantFLoC22/, Aug. 2022. (invited)
- Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun
Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi: "A ZDD-Based Method for
Exactly Enumerating All Lower-Cost Solutions of Combinatorial
Problems," In Proc. of 5th International Workshop on Enumeration
Problems and Applications (WEPA2022), No. 10, Nov. 2022.

- Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, and Ryuhei Uehara: "On the Computational Complexity of Generalized Common Shape Puzzles.," arXiv preprint arXiv:2305.10749, May. 2023.
- Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, and Shin-ichi Minato: "International Competition on Graph Counting Algorithms 2023," arXiv preprint arXiv:2309.07381v1
, Sep. 2023.

Back to the home page

Last Update: Sep. 17, 2023.