TR sat07 - Technical University of Valencia...Constraints s t and s > t are treated as polynomial...
16
TR sat07 - Technical University of Valencia...Constraints s t and s > t are treated as polynomial constraints Ps t > 0 and — [t] is the polynomial obtained from Pst > 0, respectively,