1. Reformulate some tight-ish inequality as equality + slack variable, and reduce the range of the slack variable;
The first option The third option seems like the most principled, but I'm not sure if there are more non-smooth optimisation methods with convergence bounds in term of the feasible (optimal?) volume. The second option gives us a clear polynomial progress metric, and I feel like