Surynek, 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), pp. 271–272. doi: 10.1609/socs.v18i1.36014.