제약프로그래밍은 복잡한 조합 문제를 풀기 위한 프로그래밍 기술입니다. 문제를 표현하는 데이터는 도메인 변수에 의해 표현됩니다. 각 변수는 결합된 도메인을 가지고 있으며 이 도메인은 잠재적으로 실행 가능한 값의 집합입니다.

제약은 문제를 풀기 위해 변수들 안에서 충족되어야 하는 각기 다른 관계를 보여줍니다.
도메인 reduction process으로 사용자가 문제에 적합한 하나, 혹은 몇 개, 최대, 전체 솔루션을 계산하도록 합니다. 서치 중이거나 서치 전의 제약은 문제의 크기를 줄이며 도메인을 역동적으로 줄여줍니다.

자세한 내용은 technical papers 를 참조하세요