Accepted Papers

Authors

Title

Yu Nakahata Matroid Transformation Algorithms using Family Algebra over Zero-suppressed Binary Decision Diagrams
Waseem Akram and Katsuhisa Yamanaka Efficient Enumeration of At Most k-Out Polygons
Zhidan Feng, Henning Fernau and Kevin Mann Enumerating Minimal Defensive Alliances
Aito Ochi, Katsuhisa Yamanaka and Takashi Hirayama The Computational Complexity of Minimal Distance k-Dominating Set Enumeration
Shoon Mineyoshi, Kazuhisa Seto and Takashi Horiyama On the Diameters of Reconfiguration Graphs and ZDD-Based BFS-Algorithm for Optimal Reconfiguration Problems of Optimal Ladder Lotteries
Arnaud Mary Enumeration of minimal transversals of hypergraphs of bounded VC-dimension
Muhammad Ilyas and Naveed Ahmed Azam Counting Multigraphs with Tree Skeleton
Masashi Gorobe, Kazuhisa Seto and Takashi Horiyama On the enumeration of common developments of orthogonal boxes by utilizing cycles on the surfaces
Giulia Punzi A Theorem on Retaining Biconnectivity under Node Removals
Usama Waheed and Naveed Ahmed Azam Enumeration of Cospectral Graphs
Giovanni Buzzega, Alessio Conte, Roberto Grossi and Giulia Punzi Experiments on Maximal Common Subsequences
Alessio Conte, Roberto Grossi, Yasuaki Kobayashi, Kazuhiro Kurita, Davide Rucci, Takeaki Uno and Kunihiro Wasa Amortized Enumeration of Graphlets
Yasuaki Kobayashi, Kazuhiro Kurita and Kunihiro Wasa Polynomial-Delay and Polynomial-Space Enumeration of Heavy Maximal Matchings
Naoya Taguchi and Toshiki Saitoh Efficient Implementation of Frontier-based Search for Path Counting by Relaxing Degree Constraint
Teruyuki Miyamoto, Jun Kawahara and Shin-Ichi Minato An Efficient ZDD Construction Algorithm for Enumerating All Cost-Bounded Solutions of Weighted Vertex Cover Problems
Yuki Akagawa, Jun Kawahara and Shin-Ich Minato Best-First Enumeration Using ZDDs and A* Search