Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two last years. Gargani and Refalo solved the problem using Large Neighborhood Search and Van Hentenryck and Michel made use of constraint programming with an improved symmetry breaking scheme. In the first part of this paper, we build on those approaches, present improvements of those two techniques, and study how the problem can be tackled by Constraint-Based Local Search. As a result, the classical instances of CSPLib can now be solved in less than 50 ms. To improve our understanding of this problem, we also introduce a new set of harder instances, which highlight the strengths and the weaknesses of the various approaches. In a second part of the paper, we present a variation of the Steel Mill Slab Problem whose aim is to minimize the number of slabs. We show how this problem can be tackled with slight modifications of our proposed algorithms. In particular, the constraint-programming solution is enhanced by a global symmetric cardinality constraint, which, to our knowledge, has never been implemented and used before. All the proposed approaches to solve this problem have been modeled and evaluated using Comet.
KeywordsSteel Mill Slab Constraint optimization Local search Large neighborhood search Symmetric cardinality constraint Set cardinality constraint
Unable to display preview. Download preview PDF.
- 1.Problem 38 of CSPLIB. www.csplib.org.
- 2.Comet 2.1. www.dynadec.com.
- 3.Gargani, A., & Refalo, P. (2007). An efficient model and strategy for the steel mill slab design problem. In C. Bessiere (Ed.), Principles and practice of constraint programming—CP 2007, 13th international conference. Lecture notes in computer science (Vol. 4741, pp. 77–89). Springer.Google Scholar
- 4.Gervet, C. (1993). New structures of symbolic constraint objects: Sets and graphs. In In 3rd workshop on constraint logic programming, Marseille, France.Google Scholar
- 5.Van Hentenryck, P., & Michel, L. (2008). The steel mill slab design problem revisited. In L. Perron, & M. A. Trick (Eds.), Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, 5th international conference, CPAIOR 2008. Lecture notes in computer science (Vol. 5015, pp. 377–381). Springer.Google Scholar
- 6.Kocjan, W., & Kreuger, P. (2004). Filtering methods for symmetric cardinality constraint. In J.-C. Régin, & M. Rueher (Eds.), Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, first international conference, CPAIOR 2004. Lecture notes in computer science (Vol. 3011, pp. 200–208). Springer.Google Scholar
- 8.Régin, J.-C. (1996). Generalized arc consistency for global cardinality constraint. In AAAI ’94: Proceedings of the twelfth national conference on artificial intelligence (Vol. 1, pp. 209–215). American Association for Artificial Intelligence.Google Scholar
- 9.Shaw, P. (1998). Using constraint programming and local search methods to solve vehicle routing problems. In M. J. Maher, & J.-F. Puget (Eds.), Principles and practice of constraint programming—CP98, 4th international conference. Lecture notes in computer science (Vol. 1520, pp. 417–431). Springer.Google Scholar
- 10.Shaw, P. (2004). A constraint for bin packing. In M. Wallace (Ed.), Principles and practice of constraint programming—CP 2004, 10th international conference, CP 2004. LNCS (Vol. 3258, pp. 648–662). Springer.Google Scholar
- 11.Van Hentenryck, P., & Michel, L. (2005). Constraint-based local search. MIT Press.Google Scholar
- 12.Walser, J. (1997). Solving linear pseudo-boolean constraints with local search. In Proceedings of the eleventh conference on artificial intelligence (pp. 269–274).Google Scholar