“Efficient SAT and MaxSAT Techniques for Solving the Two-Dimensional Strip Packing Problem”. SciELO Preprints, julho 16, 2025. Acesso em agosto 3, 2026. https://preprints.scielo.org/index.php/scielo/preprint/view/12151.