Non-binary constraints: modelling Toby Walsh Cork Constraint Computation Center.
Constraint Programming: modelling