Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. Volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Abstract is missing.