CSCE 421/821, Fall 2003, Glossary 8.

Assigned:  Wednesday, October 28, 2003.
Due: Wednesday, November 5, 2003.
Note: Glossaries are optional.
  1. Back-jumping
  2. Backmarking
  3. Conflict-directed backjumping
  4. conf-set[i]
  5. current-domain[i]
  6. Forward checking
  7. future-fc[i]
  8. max-check[i]
  9. mbl[i]
  10. mcl[i,k]
  11. past-fc[i]
  12. reductions[i]
Do not forget to list your references.

choueiry@cse.unl.edu