Lecture 15 Introduction to Constraints.pdf