Terms you should be able to define

1. Back-checking
2. Back-jumping
3. Back-marking
4. Conflict-directed backjumping
5. Domain annihilation
6. Empirical evaluation
7. Explicit (extensional), implicit (intentional) constraint
8. Forward checking (a.k.a. partial look-ahead)
9. Look-ahead  (partial, and full)
10. Theoretical evaluation