제약을 만족하는 해를 찾아 나가다 막히면 되돌아오는 탐색 영역이다. 가지치기 조건을 어디에 두는지와 탐색 순서를 정하는 heuristic을 다룬다.
created by paul
1 members
