Surynek P, Bubník V, Matěna L, Kubiš P. Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-Inspired Optimal Solver (Extended Abstract). SOCS [Internet]. 2025 Jul. 20 [cited 2026 May 12];18(1):271-2. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/36014