TY  - RPRT
TI  - The Model Counting Competitions 2021-2023
AU  - Johannes K. Fichte
AU  - Markus Hecher
PY  - 2025
UR  - https://arxiv.org/abs/2504.13842
ID  - 2504.13842
ER  -