10 citations · 19 across the 8 of their papers we have counts for
1 paper · 1 filter
Martin Bromberger
We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be…