24.19 지능적 백트래킹(Intelligent Backtracking)과 의존성 주도 방식