Text this: Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos