9 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich +1
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is poly…