CSCE 476/876, Spring 2008, Glossary 7

Assigned:  Wednesday, March 12, 2008.
Due:   Monday, March 24, 2008.
Note: Glossaries are optional but help you improve your grade. For word definition, do not limit yourself to AIMA. Check the reference books in the library and on-line resources.
  1. Alldiff constraint
  2. Anytime algorithm
  3. Arc consistency
  4. Atmost constraint
  5. Backjumping
  6. Backtracking search
  7. Binary constraint
  8. Boolean CSPs
  9. Bounded differences (constraint of)
  10. Bounds propagation
  11. Chronological backtracking
  12. Conflict set
  13. Conflict-directed backjumping
  14. Consistent assignment
  15. Constraint graph
  16. Constraint hypergraph
  17. Constraint propagation
  18. Constraint scope
  19. Constructive search
  20. Continuous domains
  21. Cutset conditioning
  22. Cycle cutset
  23. Degree (variable ordering heuristic)
  24. Domain (of a variable)
  25. Domain/degree heuristics (not in textbook)
  26. Extension (definition of a constraint, not in textbook)
  27. Finite domains
  28. Function (mathematical definition)
  29. Forward checking
  30. Global constraint
  31. Infinite domains
  32. Intension (constraint defined in intension, not in textbook)
  33. Instantiated variable
  34. k-consistency
  35. Linear constraints
  36. Linear programming (check CS dictionary/web)
  37. Minimum remaining values (a.k.a. least domain variable)
  38. Min-conflict heuristic
  39. Node consistency
  40. Objective function
  41. Path consistency
  42. Relation (mathematical definition)
  43. Strong k-consistency
  44. Ternary constraint
  45. Tree decomposition (of a CSP)
  46. Tree width of a graph (check a book on graph theory)
  47. Unary constraint
  48. Variable (of a CSP)
  49. Variable ordering heuristic
  50. Value ordering heuristic
Berthe Y. Choueiry
choueiry@cse.unl.edu