Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT. - Tuyen Van Kieu; Chi Linh Hoang; Khanh Van To (CoRR, 2026)