@article{objectpackingandschedulingforsequential,
  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},
  eprint = {2503.05071},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.05071v1},
}