Simple Mixed Integer Rounding Ungleichung Sei f=b−⌊b⌋≥0f=b-\lfloor b\rfloor \geq 0f=b−⌊b⌋≥0. s≥f(⌈b⌉−y)s \geq f(\lceil b\rceil-y)s≥f(⌈b⌉−y) ist Zulässige Ungleichung für Basic Mixed Integer Set. w