제약
제약 충족 문제를 푸는 알고리즘은 AC-3 알고리즘, 백트랙킹, 제약 위반 최소화 등이 있다.