Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem [Internet]. SciELO Preprints. 2025 [citado 18º de junho de 2026]. Disponível em: https://preprints.scielo.org/index.php/scielo/preprint/view/12151