제약 조건 전파
변수들 사이의 제약 조건을 활용하여 검색 공간을 줄여나가는 알고리즘 기법이다. 이 프로젝트에서는 힌트 시스템이 논리적으로 다음 수를 유추하기 위해 Hidden singles, Pigeonhole 등의 로직을 처리하는 핵심 메커니즘으로 사용됐다.