Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
arXiv:2604.01732v2 Announce Type: replace
Abstract: Cutting rectangular items from stock sheets to satisfy demands while minimizing waste is a central manufacturing task. The Two-Dimensional Single Stock Size Cutting Stock Problem (2D-CSSP) generalize…