TY  - RPRT
TI  - Generation and Prediction of Difficult Model Counting Instances
AU  - Guillaume Escamocher
AU  - Barry O'Sullivan
PY  - 2022
UR  - https://arxiv.org/abs/2212.02893
ID  - 2212.02893
ER  -