Surynek, P. et al. 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 (Jul. 2025), 271–272. DOI:https://doi.org/10.1609/socs.v18i1.36014.