Surynek, P.; Bubník, V.; Matěna, L.; Kubiš, P. Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-Inspired Optimal Solver (Extended Abstract). SOCS 2025, 18, 271-272.