TY  - RPRT
TI  - More is Less: Adding Polynomials for Faster Explanations in NLSAT
AU  - Valentin Promies
AU  - Jasper Nalbach
AU  - Erika Ábrahám
AU  - Paul Wagner
PY  - 2025
UR  - https://arxiv.org/abs/2512.14269
ID  - 2512.14269
ER  -