TY  - RPRT
TI  - Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
AU  - Abiola Babatunde
AU  - Matthew England
AU  - AmirHosein Sadeghimanesh
PY  - 2026
UR  - https://arxiv.org/abs/2601.14424
ID  - 2601.14424
ER  -