“Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem” (2025) SciELO Preprints [Preprint]. doi:10.1590/SciELOPreprints.12151.