Surynek, Pavel, Vojtěch Bubník, Lukáš Matěna, and Petr Kubiš. 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-72. https://doi.org/10.1609/socs.v18i1.36014.