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