Surynek, Pavel, Vojtěch Bubník, Lukáš Matěna, and Petr Kubiš. “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, no. 1 (July 20, 2025): 271–272. Accessed May 12, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/36014.