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