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