SMT encodings for Resource-Constrained Project Scheduling Problems | Publicación