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

Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundamenta Informaticae, 102(3-4):467-487, 2010. [doi]

Authors

Takehide Soh

This author has not been identified. Look up 'Takehide Soh' in Google

Katsumi Inoue

This author has not been identified. Look up 'Katsumi Inoue' in Google

Naoyuki Tamura

This author has not been identified. Look up 'Naoyuki Tamura' in Google

Mutsunori Banbara

This author has not been identified. Look up 'Mutsunori Banbara' in Google

Hidetomo Nabeshima

This author has not been identified. Look up 'Hidetomo Nabeshima' in Google