Mixed Integer Rounding Ungleichung

Sei $f_j=a_j-\lfloor a_j\rfloor ,f_b=b-\lfloor b\rfloor \text{ und }(x{)}^{+}:=\max (x,0)$:

${\sum }_{j=1}^n\left(\lfloor a_j\rfloor +\frac{{\left(f_j-f_b\right)}^{+}}{1-f_b}\right)y_j\le \lfloor b\rfloor +\frac{s}{1-f_b}$ ist Zulässige Ungleichung für Continous Integer Knapsack Set.