@misc{indiciaea10c2c9dfccb,
  title = {A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers},
  author = {Shixin Sun and Astrid Klipfel and Ondřej Kuželka and Yuanhong Wang and Yi Chang},
  year = {2026},
  url = {https://arxiv.org/abs/2605.03391},
  note = {Source identifier: 2605.03391}
}