TY  - RPRT
TI  - Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
AU  - Pavel Surynek
AU  - Vojtěch Bubník
AU  - Lukáš Matěna
AU  - Petr Kubiš
PY  - 2025
UR  - https://arxiv.org/abs/2503.05071
ID  - 2503.05071
ER  -