The Next Release Problem: Complexity, Exact Algorithms and Computations. - José Carlos Almeida Jr.; Felipe de Carvalho Pereira; Marina V. A. Reis; Breno Piva (ISCO, 2018)