Classification of Constraints

• Boolean

  • C = A and B

• Finite-domain

  • SEND + MORE = MONEY

• Tree

  • f(X,a)=f(b,Y)

• Set

  • #(S ^ R) =1

• Real

  • C = (F-32)/1.8

Previous slide

Next slide

Back to first slide

View graphic version