스케줄링은 주어진 시간 내에 정해진 자원을 할당하는 행동을 말합니다. 제약 기초 스케줄링은 스케줄링 문제를 풀기 위해 제약 프로그래밍 기술을 이용합니다. 특정한 제약 정보 알고리즘(예를 들면 edge-finder)과 특화된 서치 heuristics는 효과적인 문제 풀이를 도와줍니다.

정의 활동 및 자원
제약 기초 스케줄링에서 Activity와 자원-가장 기초적인 모델링 오브젝트-는 도메인 변수들에 의해 결정됩니다. 각 변수는 도메인이나 잠재적으로 실행 가능한 자원에 Activity를 할당합니다.

자원의 경우, 다양한 종류의 전반적 제약은 공통 자원을 공유함으로 완벽한 세트로 적용될 수 있습니다. 이러한 제약들은 자원의 용량 제한과 유용성을 표현합니다.

각 Activity들 사이에서 시간적 제약은 선 후행 관계로 표현, 정의됩니다. 일반적 제약 프로그래밍 기술을 사용함으로 모든 문제의 상황에 맞는 제약을 정의할 수 있다.

technical papers을 보시면 더 많은 정보를 얻으실 수 있습니다.