CSCE 421/821, Spring 2021, Glossary 4

  1. Back-jumping
  2. Backmarking
  3. Completeness (of an algorithm)
  4. Conditioning (in search)
  5. Conflict-directed backjumping
  6. conf-set[i]
  7. Current variable
  8. current-domain[i]
  9. Domain annihilation
  10. Forward checking
  11. Future variable
  12. future-fc[i]
  13. Look-ahead strategy
  14. max-check[i]
  15. mbl[i]
  16. mcl[i,k]
  17. Node expansion (in search)
  18. Past variable
  19. past-fc[i]
  20. Phase transition
    1. Critical value of order parameter
    2. Order parameter
    3. Phase transition
  21. Tractable problem
  22. reductions[i]
  23. Soundness (of an algorithm)
  24. Thrashing
Do not forget to list your references.
Berthe Y. Choueiry