Enviar por SMS: Branch-and-bound reduction type method for semi-in finite programming