CSCE 421/821, Fall 2002, Glossary 6.

Distributed:  Tuesday, October 29, 2002.
To be returned: Tueday November 5, 2002.
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