@article{generationandpredictionofdifficultmodel,
  title = {Generation and Prediction of Difficult Model Counting Instances},
  author = {Guillaume Escamocher and Barry O'Sullivan},
  year = {2022},
  eprint = {2212.02893},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2212.02893v1},
}