V. Kumar, “Algorithms for Constraint-Satisfaction Problems: A Survey”, AIMag, vol. 13, no. 1, p. 32, Mar. 1992.