caa a22 4500 445879327 CHVBK 20180317145537.0 cr unu---uuuuu 170323e20110401xx s 000 0 eng 10.1007/s10601-010-9100-5 doi (NATIONALLICENCE)springer-10.1007/s10601-010-9100-5 Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS [Elektronische Daten] [Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville] 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 50ms. 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. Springer Science+Business Media, LLC, 2010 Steel Mill Slab nationallicence Constraint optimization nationallicence Local search nationallicence Large neighborhood search nationallicence Symmetric cardinality constraint nationallicence Set cardinality constraint nationallicence Schaus Pierre Dynadec, Louvain-la-Neuve, Belgium aut Van Hentenryck Pascal Brown University, Providence, USA aut Monette Jean-Noël UCLouvain, Louvain-la-Neuve, Belgium aut Coffrin Carleton Brown University, Providence, USA aut Michel Laurent UCONN, Storrs, USA aut Deville Yves UCLouvain, Louvain-la-Neuve, Belgium aut Constraints Springer US; http://www.springer-ny.com 16/2(2011-04-01), 125-147 1383-7133 16:2<125 2011 16 10601 https://doi.org/10.1007/s10601-010-9100-5 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10601-010-9100-5 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Schaus Pierre Dynadec, Louvain-la-Neuve, Belgium aut NATIONALLICENCE 700 1- Van Hentenryck Pascal Brown University, Providence, USA aut NATIONALLICENCE 700 1- Monette Jean-Noël UCLouvain, Louvain-la-Neuve, Belgium aut NATIONALLICENCE 700 1- Coffrin Carleton Brown University, Providence, USA aut NATIONALLICENCE 700 1- Michel Laurent UCONN, Storrs, USA aut NATIONALLICENCE 700 1- Deville Yves UCLouvain, Louvain-la-Neuve, Belgium aut NATIONALLICENCE 773 0- Constraints Springer US; http://www.springer-ny.com 16/2(2011-04-01), 125-147 1383-7133 16:2<125 2011 16 10601 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer