APA (7th ed.) Citation

Surynek, P., Bubník, V., Matěna, L., & Kubiš, P. (2025). Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-inspired Optimal Solver.

Chicago Style (17th ed.) Citation

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. 2025.

MLA (9th ed.) Citation

Surynek, Pavel, et al. Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-inspired Optimal Solver. 2025.