1 paper
Valentin Promies, Jasper Nalbach, Erika Ãbrahám +1
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination…