Chapter 13 Repair and Local Search

• Motivation
• Syntax
  • Setting and Getting Tentative Values
  • Building and Accessing Conflict Sets
  • Propagating Conflicts
• Repairing Conflicts
  • Combining Repair with IC Propagation
• Introduction to Local Search
  • Changing Tentative Values
  • Hill Climbing
• More Advanced Local Search Methods
  • The Knapsack Example
  • Search Code Schema
  • Random walk
  • Simulated Annealing
  • Tabu Search
• Repair Exercise