Constraint propagation
Completion requirements
Click CSP-2.pdf link to view the file.