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