Toby's slides, Oz lectures, 2002, 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