Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT

Tuyen Van Kieu, Chi Linh Hoang, Khanh Van To

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 (…