Using Decomposition Techniques and Constraint Programming for Solving the Two-Dimensional Bin-Packing Problem | Synapse