Volume: Vol-4116 SC-Square 2025 | Year: 2025

Paper: « invited2 | paper114 | paper136 »

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination

• Jasper Nalbach
• Erika Ábrahám

19-34 PDF