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