发送短信 : Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos