Constraints and Search Toby Walsh Cork Constraint Computation Centre (4C) [email protected] Logic & AR Summer School, 2002.
Case study 3: orthogonal Latin squares Modelled by Barbara Smith.