More is Less: Adding Polynomials for Faster Explanations in NLSAT.

Valentin Promies, Jasper Nalbach, Erika brahm, Paul Wagner

Browse the full CADE paper archive.