More is less: adding polynomials for faster explanations in NLSAT

DOI10.1007/978-3-031-99984-0_7MaRDI QIDQ6869959zbMATH OpenFDO

Authors Valentin Promies, Jasper Nalbach, Erika Ábrahám, P. Wagner

Publication date 21 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

SMT solvingcylindrical algebraic decompositionreal algebrasingle cell construction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: More is less: adding polynomials for faster explanations in NLSAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6869959)