Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem

Open in new window