5 citations · 5 across the 1 of their papers we have counts for
1 paper
Jasper Nalbach, Valentin Promies, Erika Ábrahám +1
In this paper we introduce a novel quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elim…