TY  - RPRT
TI  - The Model Counting Competition 2020
AU  - Johannes K. Fichte
AU  - Markus Hecher
AU  - Florim Hamiti
PY  - 2020
DO  - 10.1145/3459080
UR  - https://arxiv.org/abs/2012.01323
ID  - 2012.01323
ER  -