Exact search-space size for the refactoring scheduling problem | Publicación