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