Slide 1Constraints and Search Toby Walsh Cork Constraint Computation Centre (4C) [email protected] Logic & AR Summer School, 2002 Slide 2 Constraint satisfaction Constraint…