CSCE 421/821, Spring 2008, Glossary 1

Assigned: Monday, January 28, 2008.
Due: Monday, February 4, 2008.
Note: Glossaries are optional but they allow you improve your grade. Also, you are responsible for knowing the exact definition of the terms in a glossary at any point in time, especially during a quiz.
  1. 3SAT, SAT
  2. Algebraic constraint
  3. Binary constraint
  4. Bit vector/matrix
  5. Boolean CSP
  6. Chronological backtracking
  7. Cartesian product
  8. Constrained Decision Diagram (CDD) (try to dig out some information about it and explain it)
  9. Coloring constraint
  10. Co-micro-structure
  11. Constraint arity
  12. Constraint graph
  13. Constraint network
  14. Constraint of bounded differences
  15. Constraint of difference (a.k.a. mutex)
  16. Constraint scope
  17. Decision problem
  18. Domain of a variable
  19. Finite (discrete) CSP
  20. Global constraint
  21. Macro-structure
  22. Micro-structure
  23. Mutex constraint
  24. Optimization problem
  25. Product configuration problem
  26. Resource allocation problem
  27. Ternary constraint
  28. Unary constraint
  29. Universal constraint
Last modified: Sun Jan 27 21:54:17 CST 2008