article.return6a0a58cf6f840 Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem Baixar Baixar PDF