3 citations · 3 across the 8 of their papers we have counts for
1 paper · 2 filters
Prabhu Manyem
In this manuscript, assuming that Graedel's 1991 results are correct (which implies that bounds on the solution values for optimization problems can be expressed in existential sec…