An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources | Publicación