Anfonwch hwn fel neges destun: Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos