TY  - RPRT
TI  - Exploiting Strict Constraints in the Cylindrical Algebraic Covering
AU  - Philipp Bär
AU  - Jasper Nalbach
AU  - Erika Ábrahám
AU  - Christopher W. Brown
PY  - 2023
UR  - https://arxiv.org/abs/2306.16757
ID  - 2306.16757
ER  -