Terms you should be able to define

1. Constraint Network (Freuder's terminology)
2. Constraint network of order k
3. Constraint synthesis
4. Full constraint networks
5. K-completeness
6. K-compatibility
7. K-consistency
8. K-satifiability
9. Relaxed netword (Freuder's terminology)