顺序3D打印的物体打包与调度：线性算术模型与CEGAR启发的最优求解器

本研究解决了顺序3D打印中的物体排列与调度问题，该问题与标准3D打印有所不同。论文提出了一种基于线性算术公式的创新方法，并结合启发式技术显著提升了求解效率。研究结果显示该方法在确保打印过程中不发生碰撞的情况下，能够优化打印调度，具有重要的实际应用价值。