@article{afastmodelcountingalgorithmfortwovariabl,
  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},
  eprint = {2605.03391},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.03391},
}