본 논문은 순차적 3D 프린팅에서의 객체 배치 및 스케줄링 문제를 다룹니다. 기존의 모든 객체를 동시에 슬라이스 단위로 프린팅하는 방식과 달리, 순차적 3D 프린팅에서는 객체들이 순차적으로 완성됩니다. 순차적 프린팅에서는 프린터의 이동 부품이 이전에 프린팅된 객체와 충돌하지 않도록 해야 합니다. 본 논문은 조합 최적화의 관점에서 순차적 프린팅 문제를 고찰하고, 문제를 선형 산술 공식으로 표현하여 SMT (Satisfiability Modulo Theories) 솔버를 이용하여 해결하는 방법을 제안합니다. 하지만 문제를 표현하는 공식을 직접적으로 푸는 대신, CEGAR (Counterexample Guided Abstraction Refinement)에서 영감을 얻은 기법을 제안하여 효율성을 크게 향상시켰습니다.
