Kumar, V. Algorithms for Constraint-Satisfaction Problems: A Survey. AIMag 1992, 13, 32.