PackingSolver: a solver for Packing Problems.

Florian Fontan Luc Libralesso

Published in: CoRR (2020)

Keyphrases

packing problem
bin packing
integer programming
cutting stock
quantified boolean formulas
mixed integer linear program
dc programming
constraint satisfaction
higher dimensional