2025. Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem. SciELO Preprints.