A SAT Encoding for Multi-dimensional Packing Problems.

Stphane Grandcolas, Cdric Pinto

Browse the full CPAIOR paper archive.