Portfolio of Solving Strategies in CEGAR-based Object Packing and Scheduling for Sequential 3D Printing

This paper by Surynek (2026) delivers a 15% reduction in printing plate usage over the single-strategy baseline by parallelising the CEGAR-SEQ algorithm across a portfolio of placement strategies on modern multi-core CPUs. The portfolio approach consistently cuts waste and time, showing how algorithmic diversity can substitute for hardware scaling.