Exact and Matheuristic Methods for the Generalized Multiple Strip Packing Problem
We study the Generalized Multiple Strip Packing Problem (GMSPP), in which rectangular items are packed without overlap into open-ended strips of different widths and an item's dimensions may depend on the strip it is assigned to---a recently introduced model bridging cutting and packing and scheduling on heterogeneous platforms. While the single-strip problem possesses a mature exact toolbox, the GMSPP has so far been approached only heuristically. We close this gap with the first exact framework for the problem, covering the total-area and makespan objectives at once, and an extensive comparative study of exact and matheuristic methods. The framework comprises a combinatorial Benders decomposition whose variable-height master requires new $H_i$-aware conditional cuts, which we prove valid; a packing-aware LP dual bound proven to dominate the two previously available LP relaxations, and empirically stronger than the scheduling relaxation of Vasilyev et al. by up to $58\%$ on tall-item families; and a certified matheuristic coupling adaptive large neighborhood search with exact components, so that every run returns a machine-independent optimality certificate. The Benders decomposition proves the first optima reported for the GMSPP and remains the strongest method up to $n=800$; beyond that frontier the matheuristic delivers proven optima at $n=2532$ and $m=8$. All instances and code are released.