CSCE 421/821, Fall 2004, Glossary 3

Assigned: Thursday, September 15, 2005.
Due: Thursday, September 22, 2005.
Note: Glossaries are optional but help you improve your grade.
  1. Back-jumping
  2. Backmarking
  3. Complete graph
  4. Completeness (of an algorithm)
  5. Conditioning (in search)
  6. Conflict-directed backjumping
  7. conf-set[i]
  8. Current variable
  9. current-domain[i]
  10. Domain annihilation
  11. Forward checking
  12. Future variable
  13. future-fc[i]
  14. Look-ahead strategy
  15. max-check[i]
  16. mbl[i]
  17. mcl[i,k]
  18. Node expansion (in search)
  19. Past variable
  20. past-fc[i]
  21. reductions[i]
  22. Soundness (of an algorithm)
  23. Thrashing
Do not forget to list your references.
Berthe Y. Choueiry