Vol-450⫷ Vol-451 ⫸Vol-452
urn:nbn:de:0074-451-0


Vol-451/paper-11⫷Vol-451/paper-12⫸Vol-451/paper-13

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem