Local search versus linear programming to detect monotonicity in simplicial branch and bound - Casado L. G. (2025)