Publication List (selected ones written in English)
(to Japanese page)
Book
- Shin-ichi Minato: "Binary
Decision Diagrams and Applications for
VLSI
CAD," Kluwer Academic Publishers, Nov. 1996.
Book Chapters
- 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.
- Shin-ichi Minato: "Overview of Algorithmic Foundations for Social Advancement (AFSA) Project," In Shin-ichi Minato, et al. (Editors) "Algorithmic Foundations for Social Advancement - Recent Progress on Theory and Practice," pp. 3-13, Springer, DOI 10.1007/978-981-96-0668-9_1, Mar. 2025.
- Shin-ichi Minato: "Motivating Problems and Algorithmic Solutions," In Shin-ichi Minato, et al. (Editors) "Algorithmic Foundations for Social Advancement - Recent Progress on Theory and Practice," pp. 17-29, Springer, DOI 10.1007/978-981-96-0668-9_2, Mar. 2025.
- Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Kosuke Oguri, Shin-ichi Minato, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno and Norihito Yasuda : "Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions," In Shin-ichi Minato, et al. (Editors) "Algorithmic Foundations for Social Advancement - Recent Progress on Theory and Practice," pp. 187-207, Springer, DOI 10.1007/978-981-96-0668-9_13, Mar. 2025.
Editorial Work
- 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.
- Shin-ichi Minato, Takeaki Uno, Norihito Yasuda, Takashi Horiyama, Ken-ichi Kawarabayashi, Shigeru Yamashita, and Hirotaka Ono (Editors): "Algorithmic Foundations for Social Advancement - Recent Progress on Theory and Practice," 361 pages, Springer, DOI 10.1007/978-981-96-0668-9, Mar. 2025.
Doctoral Dissertation
- S. Minato: "Binary Decision Diagrams and Their Applications for
VLSI CAD," Faculty of Engineering, Kyoto University, Jan. 1995.
Journal Papers
- 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.
- Kazuma Fuchimoto, Shin-ichi Minato, and Maomi Ueno:
"Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams,"
IEEE Access, Vol. 11, pp. 112804-112813, DOI:
10.1109/ACCESS.2023.3322720, Oct., 2023.
- 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," Teorethical Computer Science, Vol. 978, 114158, Elsevier, DOI: 10.1016/J.TCS.2023.114158, Nov. 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, Vol. E107-A, No. 3, pp. 566-574, DOI:
10.1587/transfun.2023VLP0007, Mar. 2024.
- Brian Godwin Lim, Renzo Roel Tan, Jun Kawahara, Shin-ichi Minato, and Kazushi Ikeda:
"A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams,"
IEEE Access, Vol. 12, pp.91886-91895, DOI:
10.1109/ACCESS.2024.3421676, Jul. 2024.
- Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, and Shin-ichi Minato: "International Competition on Graph Counting Algorithms 2023," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E107A, No. 9, pp. 1441-1451, DOI:
10.1587/transfun.2023DMP0006, Jul. 2024.
- Shin-ichi Minato, Jun Kawahara, Mutsunori Banbara, Takashi Horiyama, Ichigaku Takigawa, and Yutaro Yamaguchi: "Fast Enumeration of All Cost-Bounded Solutions for Combinatorial Problems Using ZDDs," Discrete Applied Mathematics, Vol. 360, pp. 467-486, Elsevier, DOI: 10.1016/j.dam.2024.10.003, Jan. 2025.
Journal Letters
- 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.
Book Chapters (Journal Style, Reviewed)
- 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.
Reviewed Conference Papers
- 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), pp. 4564-4570, 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:1-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 and South Pacific Design Automation Conference (ASPDAC 2024), pp. 134-139, Jan. 2024.
- Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono and Ryuhei Uehara: "On the Computational Complexity of Generalized Common Shape Puzzles", In Proc. of the 49th International Conference on Current Trends in
Theory and Practice of Computer Science (SOFSEM 2024), pp. 55-68, Feb. 2024.
- Shou Ooba, Jun Kawahara, and Shin-ichi Minato: "Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations", In Proc. of the 16th International Conference on Agents and Artificial Intelligence (ICAART 2024), pp. 641-648, Feb. 2024.
Technical Reports, Seminar Notes, etc.
- 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.
- Shin-ichi Minato: "Recent Research Activities on Algorithmic Foundations for Social Advancement," In Proc. of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Springer LNCS 14549, pp. 1-8, DOI: 10.1007/978-981-97-0566-5_1, Mar. 2024. (Invited Talk)
- Hiromi Emoto, Yuni Iwamasa, and Shin-ichi Minato: "On the Sizes of BDDs and ZDDs Representing Matroids," arXiv preprint arXiv:2404.14670, Apr. 2024.
- Teruyuki Miyamoto, Jun Kawahara, and Shin-ichi Minato: "An Efficient ZDD Construction Algorithm for Enumerating All Cost-Bounded Solutions of Weighted Vertex Cover Problems," In Proc. of 6th International Workshop on Enumeration Problems and Applications (WEPA2024), No. 1, Oct. 2024.
- Yuki Akagawa,, Jun Kawahara, and Shin-ichi Minato: "Best-First Enumeration Using ZDDs and A* Search," In Proc. of 6th International Workshop on Enumeration Problems and Applications (WEPA2024), No. 2, Oct. 2024.
Back to the
home page
Last Update: Mar. 24, 2025.