Constraint Satisfaction, Heuristic Technique, Searching Technique, Searching Algorithm, Intelligence.
the union of the constraints discovered above defines a solution, then quit and report the solution. If the union of the constraints discovered above defines a contradiction, then return the failure. If neither of the above occurs, then it is necessary to make a guess at something in order to