@misc{indiciae0b3a039e4bbf,
  title = {SharpSAT-TD in Model Counting Competitions 2021-2023},
  author = {Tuukka Korhonen and Matti Järvisalo},
  year = {2023},
  url = {https://arxiv.org/abs/2308.15819},
  note = {Source identifier: 2308.15819}
}