← Solving Constraint Satisfaction Problems (CSPs) using Search