Surynek, P., Bubník, V., Matěna, L., & Kubiš, P. (2025). Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-Inspired Optimal Solver (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search, 18(1), 271–272. https://doi.org/10.1609/socs.v18i1.36014