SAT-based optimisation for the resource-constrained project scheduling problem with time-dependent resource capacities and requests

In this paper, a variant of the resource-constrained project scheduling problem is discussed. This variant introduces time-dependence for resource capacities and requests, making the problem a more realistic model for many practical applications such as production scheduling and medical research project planning. The main aim of this paper is to...