“Efficient SAT and MaxSAT Techniques for Solving the Two-Dimensional Strip Packing Problem”. 2025. SciELO Preprints. https://doi.org/10.1590/SciELOPreprints.12151.