Article ID: | iaor2007167 |
Country: | United States |
Volume: | 17 |
Issue: | 1 |
Start Page Number: | 52 |
End Page Number: | 65 |
Publication Date: | Dec 2005 |
Journal: | INFORMS Journal On Computing |
Authors: | Michelon Philippe, Artigues Christian, Demassey Sophie |
Keywords: | programming: integer |
We propose a cooperation method between constraint programming and integer programming to compute lower bounds for the resource-constrained project scheduling problem (RCPSP). The lower bounds are evaluated through linear-programming (LP) relaxations of two different integer linear formulations. Efficient resource-constraint propagation algorithms serve as a preprocessing technique for these relaxations. The originality of our approach is to use additionally some deductions performed by constraint propagation, and particularly by the shaving technique, to derive new cutting planes that strengthen the linear programs. Such new valid linear inequalities are given in this paper, as well as a computational analysis of our approach. Through this analysis, we also compare the two considered linear formulations for the RCPSP and confirm the efficiency of lower bounds computed in a destructive way.