Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
Proposes a linear arithmetic model with CEGAR-inspired SMT solver for optimal sequential 3D object packing and scheduling.
Pavel Surynek, Vojtěch Bubník, Lukáš Matěna et al.