A Aralex Aachen research explorer

November 16, 2025 conference-paper

Improving NLSAT for Nonlinear Real Arithmetic

IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1109/ase63991.2025.00128 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 2

Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

34

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

10

citations

2 results