본 논문은 최신 상용 제약 프로그래밍 솔버에서 일반적으로 사용되는 조건부 시간 간격과 누적 함수를 사용한 스케줄링 문제 모델링 방법을 오픈소스 솔버에 구현한 연구 결과를 제시합니다. 특히, 생산자와 소비자를 포함하는 다양한 스케줄링 문제를 모델링할 수 있도록 '일반화된 누적(Generalized Cumulative)'이라는 단일 일반적인 글로벌 제약 조건을 사용한 구현과 조건부 시간 간격으로 정의된 작업을 처리하기 위한 새로운 시간표 필터링 알고리즘을 제안합니다. 실험 결과는 제안된 방법이 기존 솔버와 경쟁력 있게 수행되며, 생산자와 소비자 스케줄링 문제의 모델링이 가능하고 대규모 문제로 확장성이 뛰어남을 보여줍니다.
