6 citations · 6 across the 1 of their papers we have counts for
1 paper
Bernard Boigelot, Sebastien Jodogne, Pierre Wolper
This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt wit…