@misc{indiciae54091a88e763,
  title = {Generation and Prediction of Difficult Model Counting Instances},
  author = {Guillaume Escamocher and Barry O'Sullivan},
  year = {2022},
  url = {https://arxiv.org/abs/2212.02893},
  note = {Source identifier: 2212.02893}
}