A SAT Encoding for Multi-dimensional Packing Problems.

Stéphane Grandcolas Cédric Pinto

Published in: CPAIOR (2010)

Keyphrases

packing problem
multi dimensional
sat encodings
bin packing
sat solvers
integer programming
combinatorial problems
graph coloring
pseudo boolean constraints
constraint satisfaction problems
high dimensional
cutting stock
solving problems
integer linear programming
orders of magnitude