Hirofumi Suzuki

Rule Mining for Correcting Classification Models. 

CoRR, abs/2310.06446, 2023  Lead author

Rule Mining for Correcting Classification Models. 

ICDM, 1331-1336, 2023  Peer-reviewedLead author

Explainable and Local Correction of Classification Models Using Decision Trees. 

Thirty-Sixth AAAI Conference on Artificial Intelligence(AAAI), 8404-8413, 2022  Peer-reviewedLead author

Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification. 

CoRR, abs/2004.08015, 2020  

Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. 

WALCOM: Algorithms and Computation - 14th International Conference(WALCOM), 273-285, 2020  Peer-reviewedLead author

Colorful Frontier-Based Search: Implicit Enumeration of Chordal and Interval Subgraphs. 

Analysis of Experimental Algorithms - Special Event(SEA²), 125-141, 2019  Peer-reviewed

Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. 

Combinatorial Optimization and Applications - 12th International Conference(COCOA), 281-295, 2018  Peer-reviewedLead author

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, 101-A(9) 1375-1382, 2018  Peer-reviewedLead author

Exact Computation of Influence Spread by Binary Decision Diagrams. 

Proceedings of the 26th International Conference on World Wide Web(WWW), 947-956, 2017  Peer-reviewed

Solving the Longest Oneway-Ticket Problem and Enumerating Letter Graphs by Augmenting the Two Representative Approaches with ZDDs 

Advances in Intelligent Systems and Computing, 294-305, Oct 21, 2016  Peer-reviewed

Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model 

Proc. of PDPTA'16, a Workshop session of Mathematical Modeling and Problem Solving, - 356-362, 2016  Peer-reviewedLead author