CSCE 421/821, Spring 2022, Glossary 1

  1. 3SAT, SAT
  2. Algebraic constraint
  3. Binary constraint
  4. Bit vector/bit matrix
  5. Boolean CSP
  6. Chronological backtracking
  7. Cartesian product of two sets
  8. Constrained Decision Diagram (CDD) (Google the term, it is defined in the paper by [Cheng and Yap, AAAI 2005])
  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