CSCE 476/876, Spring 2005, Glossary 7

Assigned:  Friday, March 11, 2005.
Due:  Monday March 28, 2005.
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 (ordering heuristic)
  24. Domain (of a variable)
  25. Domain/degree heuristics (not in textbook)
  26. Extensively defined constraint (not in textbook)
  27. Finite domains
  28. Function (mathematical definition)
  29. Forward checking
  30. Global constraint
  31. Infinite domains
  32. Intensively defined constraint (not in textbook)
  33. Instantiated variable
  34. k-consistency
  35. Linear constraints
  36. Linear programming
  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. Size of a CSP
  44. Strong k-consistency
  45. Ternary constraint
  46. Tree decomposition (of a CSP)
  47. Tree width of a graph (check a book on graph theory)
  48. Unary constraint
  49. Universal constraint
  50. Variable (of a CSP)
  51. Variable ordering heuristic
  52. Value ordering heuristic
Berthe Y. Choueiry
choueiry@cse.unl.edu