Отправить по sms: Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos