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