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