@misc{indiciae969dac9d359e,
  title = {Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver},
  author = {Pavel Surynek and Vojtěch Bubník and Lukáš Matěna and Petr Kubiš},
  year = {2025},
  url = {https://arxiv.org/abs/2503.05071},
  note = {Source identifier: 2503.05071}
}