상태공간트리를 완전 탐색하면서, 어떤 마디가 전혀 해답이 나올 가능성이 없다고 판정이 되면 부모 마디로 돌아가서 다음 후손 마디를 검색.
분기한정법 (Branch and Bound) (개념만)
스도쿠 채우는 문제