A SAT Encoding for Multi-dimensional Packing Problems
From MaRDI portal
Publication:3569928
DOI10.1007/978-3-642-13520-0_18zbMath1285.90048OpenAlexW2112004918MaRDI QIDQ3569928
Publication date: 22 June 2010
Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)
Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-02471124/file/CPAIOR2010-finale.pdf
Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Combinatorial Benders' Cuts for the Strip Packing Problem ⋮ A new search procedure for the two-dimensional orthogonal packing problem ⋮ Exact solution techniques for two-dimensional cutting and packing
This page was built for publication: A SAT Encoding for Multi-dimensional Packing Problems
