“Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem”, SciELO Preprints. 16º de julho de 2025. doi: 10.1590/SciELOPreprints.12151.