The basic algorithm is sim- ple backtracking (BT) 12], a general search strategy which has been widely used in problem solving. In solving CSPs, it also serves as the basis for many other algorithms.