Part V: Local Search Techniques in Constraint Satisfaction