Satisfiability tests and time-bound adjustments for cumulative scheduling problems

Satisfiability tests and time-bound adjustments for cumulative scheduling problems

0.00 Avg rating0 Votes
Article ID: iaor20013887
Country: Netherlands
Volume: 92
Start Page Number: 305
End Page Number: 333
Publication Date: Nov 1999
Journal: Annals of Operations Research
Authors: , ,
Abstract:

This paper presents a set of satisfiability tests and time-bound adjustment algorithms that can be applied to cumulative scheduling problems. An instance of the cumulative scheduling problem (CuSP) consists of (1) one resource with a given capacity, and (2) a set of activities, each having a release date, a deadline, a processing time and a resource capacity requirement. The problem is to decide whether there exists a start time assignment to all activities such that at no point in time the capacity of the resource is exceeded and all timing constraints are satisfied. The cumulative scheduling problem can be seen as a relaxation of the decision variant of the resource-constrained project scheduling problem. We present three necessary conditions for the existence of a feasible schedule. Two of them are obtained by polynomial relaxations of the CuSP. The third is based on energetic reasoning. We show that the second condition is closely related to the subset bound, a well-known lower bound of the m-machine problem. We also present three algorithms, based on the previously mentioned necessary conditions, to adjust release dates and deadlines of activities. These algorithms extend the time-bound adjustment techniques developed for the one-machine problem. They have been incorporated in a branch and bound procedure to solve the resource-constrained project scheduling problem. Computational results are reported.

Reviews

Required fields are marked *. Your email address will not be published.