Chapter 11 REPAIR: Constraint-Based Repair

• Introduction
  • Using the Library
• Tentative Values
  • Attaching and Retrieving Tentative Values
  • Tenability
  • The Tentative Assignment
  • Variables with No Tentative Value
  • Unification
  • Copying
• Repair Constraints
• Conflict Sets
• Invariants
• Examples
  • Interaction with Propagation
  • Repair Labeling