1: \begin{abstract}

2: Strict inequalities in mixed-integer linear optimization can cause difficulties in guaranteeing convergence and exactness.

3: Utilizing that optimal vertex solutions follow a lattice structure we propose a rounding rule for strict inequalities that guaranties exactness.

4: The lattice used is generated by $\Delta$-regularity of the constraint matrix belonging to the continuous variables.

5: We apply this rounding rule to Decomposition Branching by Yıldız et al., which uses strict inequalities in its branching rule.

6: We prove that the enhanced algorithm terminates after finite many steps with an exact solution.

7: To validate our approach, we conduct computational experiments for two different models for which $\Delta$-regularity is easily detectable.

8: The results confirm the exactness of our enhanced algorithm and demonstrate that it typically generates smaller branch-and-bound trees.

9: \end{abstract}

10: