28 citations · 42 across the 4 of their papers we have counts for
1 paper · 1 filter
David Monniaux
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which…