Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning

We recommend the users of our approach to apply an SMT solver and to resort to a metaheuristic algorithm only if the SMT solver does not terminate within reasonable time, due to the actual combination of number of requirements and dependency density.