Constraint Satisfaction, Heuristic Technique, Searching Technique, Searching Algorithm, Intelligence.
proceed. To do this loop until a solution is found or all possible solutions have been eliminated: Select an object whose value is not yet determined and select a way of strengthening the constraints on that object. Recursively invoke constraint satisfaction with the current set of constraints