Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem. (2025). Em SciELO Preprints. https://doi.org/10.1590/SciELOPreprints.12151