Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT | Publicación