직렬 배치(s-batch) 스케줄링에서, 유사한 제품군에서 온 작업들이 배치로 묶여 순차적으로 처리되어, 서로 다른 제품군 작업 연속 처리 시 요구되는 반복적인 설정을 피한다. 본 논문은 최소 배치 크기를 고려한 s-batch 스케줄링을 위한 새로운 제약 프로그래밍(CP) 모델을 제안한다. 기존 CP 모델들의 차원 저주 문제를 해결하고, 작업 시퀀스를 직접 추론하여 더욱 간결한 공식을 제공한다. 제안된 모델은 문제의 구조를 활용하여 맞춤형 검색 단계와 강화된 제약 전파자 추론 수준으로 개선되었다.
