1 DCP 1172 Introduction to Artificial Intelligence Lecture notes for Chap. 7 & 10 [AIMA] Chang-Sheng Chen.