@inproceedings{MFI+24,
  author        = {Keita Maeda and Yuta Fujioka and Takumi Iwasaki and Takumi Shiota and Toshiki Saitoh},
  title         = {Divide-and-conquer Algorithms for Counting Paths using Zero-suppressed Binary Decision Diagrams},
  booktitle     = {Proceedings of the 24th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2024)},
  year          = {2024}
}