A SAT encoding for Multi-dimensional Packing Problems
Abstract
The Orthogonal Packing Problem (OPP) consists in determining if a set of items can be packed into a given container. This decision problem is NP-complete. S. P. Fekete et al. modelled the problem in which the overlaps between the objects in each dimension are represented by interval graphs. In this paper we propose a SAT encoding of Fekete et al. characterization. Some results are presented, and the efficiency of this approach is compared with other SAT encodings.
Domains
Artificial Intelligence [cs.AI]
Origin : Files produced by the author(s)
Loading...