The material (slides and notes) below has been produced by: Toby Walsh, Peter van Beek, Barbara Smith, Chris Beck, Pedro Meseguer, Edward Tsang, Gerrit Renker (Aberdeen), and Patrick Prosser. Toby, Peter, and Barbara are fellow members of the APES research group. Chris is with 4C, and we work together on the PRAS project. Pedro Meseguer is a leading researcher in partial-csp's and search, and Edward Tsang wrote the book "Foundations of Constraint Satisfaction". ... Thanks to them all!

In our course we will NOT be using all of these slides: the slides are there for everyone to look at (the world), but we may use SOME of these slides.

• Barbara Smith's AR33 lecture notes produced for her AR33.pdf course in Leeds, last delivered in 2001 ...



• Barbara Smith's ERCIM invited talk in 2002



• Edward Tsang's Constraint Satisfaction Tutorial



• Toby's Oz slides on Constraints and Search
  • lecture 1
  an introduction, by example
  • lecture 2
  on inferencing
  • lecture 3
  on search (BT, FC, MAC, LDS, BJ)
  • lecture 4
  • lecture 5
  on phase transitions etc
• Toby's Padova slides
  • Non-binary constraint satisfaction
  • Non-binary constraint, modelling
  • Orthogonal Latin Squares
  • All-interval series
  • Balanced Academic Curriculum Problem
  • Lanford's Problem
  • Non-binary Constraints
• Toby's York slides on non-binary constraints



• Peter van Beek's CP01 slides
  • Towards theoretical frameworks for comparing algorithms and models CP01 invited talk
  • Fast optimal instruction scheduling CP01 technical presentation
• Peter van Beek's cs886v slides
  • cs886
  • introduction
  • backtracking
  • evaluation of models
  • heuristics
  • local search
  • modeling
• J. Chris Beck's Crystal Maze Slides presented in Cork, 2002



• Pedro Meseguer's Iberamia-02 Invited talk



• Patrick Prosser's presentations
• ILOG Presentation on problem reformulation and search, October 2001
• Where are the hard problems a 4th year algorithms lecture
• An introduction 10 minute cake talk at Glasgow
• An introduction 4th year AI lecture in Glasgow
• Conflict Directed Backjumping 4th year AI lecture in St Andrews
• Constraint Programming and the Stable Marriage Problem The 4th ScotNet meeting
• Constraint encoding of maximality A FATA presentation (40 minutes)
• Constraint encoding of maximality IJCAI01 workshop presentation
• 0/1 Encodings ERCIM 2002 at 4C Cork
• A Student Advisory System ECAI 2002 workshop W4
• Species Trees and Constraint Programming APES meeting November 2002, 4C, Cork
• Brian Hayes paper on On The Threshold, phase transitions in graph colouring (in ps)



• Gerrit Renker's slides
  • modeling csp's with uml at Glasgow 28/01/03
  • the car sequencing problem at Glasgow 28/01/03