Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT | IEEE Conference Publication | IEEE Xplore