CSCE 421/821, Fall 2003, Glossary 1

Assigned:  Wednesday, September 3, 2003.
Due: Monday September 8, 2003.
Note: Glossaries are optional but help you improve your grade.
  1. 3SAT, SAT
  2. Algebraic constraint
  3. Arc-consistency
  4. Back checking
  5. Binary constraint
  6. Chronological backtracking
  7. Cartesian product (of two sets)
  8. Coloring constraint
  9. Constraint arity
  10. Constraint graph
  11. Constraint network
  12. Constraint of bounded differences
  13. Constraint of difference
  14. Constraint scope
  15. Decision problem
  16. Domain of a variable
  17. Finite (discrete) CSP
  18. Mutex constraint
  19. Product configuration problem
  20. Resource allocation problem
  21. Ternary constraint
  22. Unary constraint
  23. Universal constraint
  24. Optimization problem


choueiry@cse.unl.edu