research
∙
09/06/2023
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version)
In this paper we introduce a novel quantifier elimination method for con...
share
research
∙
06/29/2023
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
One of the few available complete methods for checking the satisfiabilit...
research
∙
12/19/2022
