@misc{https://doi.org/10.48550/arxiv.2012.01323,
doi = {10.48550/ARXIV.2012.01323},
url = {https://arxiv.org/abs/2012.01323},
author = {Fichte,
Johannes K. and Hecher,
Markus and Hamiti,
Florim},
keywords = {Logic in Computer Science (cs.LO),
Artificial Intelligence (cs.AI),
Data Structures and Algorithms (cs.DS),
FOS: Computer and information sciences,
FOS: Computer and information sciences},
title = {The Model Counting Competition 2020},
publisher = {arXiv},
year = {2020},
copyright = {arXiv.org perpetual,
non-exclusive license} }