CSCE 421/821, Fall 2005, Glossary 1

Assigned: Wednesday, August 31, 2005.
Due: Thursday, September 8, 2005.
Note: Glossaries are optional but help you improve your grade.
  1. 3SAT, SAT
  2. Algebraic constraint
  3. Arc-consistency
  4. Back checking
  5. Backtrack search
  6. Binary constraint
  7. Bit vector/matrix
  8. Boolean CSP
  9. Chronological backtracking
  10. Cartesian product
  11. Constrained Decision Diagram (CDD) (try to dig out some information about it and explain it)
  12. Coloring constraint
  13. Co-micro-structure
  14. Constraint arity
  15. Constraint graph
  16. Constraint network
  17. Constraint of bounded differences
  18. Constraint of difference
  19. Constraint scope
  20. Decision problem
  21. Domain of a variable
  22. Finite (discrete) CSP
  23. Global constraint
  24. Iterative-repair search
  25. Micro-structure
  26. Mutex constraint
  27. Optimization problem
  28. Product configuration problem
  29. Resource allocation problem
  30. Ternary constraint
  31. Unary constraint
  32. Universal constraint
Berthe Y. Choueiry