Funciona resolviendo un programa lineal no entero, después comprobando si la optimización encontrada es también una solución entera.