Terms you should be able to define

1. Conditioning strategies (for problem solving/automated reasoning)
2. Conjunctive decomposition
3. Current variable
4. Disjunctive decomposition
5. Elimination strategies (for problem solving/automated reasoning)
6. Future variables
7. Inference (of constraints)
8. Order parameter
9. Ordering heuristics (variable: most cosntrained first/value: most promising first)
10. Past variable
11. Phase transition
12. Properties of a decomposition strategy: disjunctive/conjunctive, consistent, simplifying, semi-complete, complete, redundant, reducible.