TY  - RPRT
TI  - Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
AU  - Tuyen Van Kieu
AU  - Chi Linh Hoang
AU  - Khanh Van To
PY  - 2026
UR  - https://arxiv.org/abs/2604.01732
ID  - 2604.01732
ER  -