@misc{indiciae8b1efd0d111a,
  title = {Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons},
  author = {Abiola Babatunde and Matthew England and AmirHosein Sadeghimanesh},
  year = {2026},
  url = {https://arxiv.org/abs/2601.14424},
  note = {Source identifier: 2601.14424}
}