3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Martin Avanzini, Michael Schaper
In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbol…