Surynek, Pavel, et al. “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, vol. 18, no. 1, July 2025, pp. 271-2, doi:10.1609/socs.v18i1.36014.