TY  - RPRT
TI  - A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
AU  - Jasper Nalbach
AU  - Erika Ábrahám
PY  - 2025
UR  - https://arxiv.org/abs/2508.00505
ID  - 2508.00505
ER  -