2021-2022 Undergraduate Bulletin > Courses > CSC - Computer Science Course Descriptions > 40000 > CSC 44800
State-space and problem-induction representations of problems. Heuristic methods. Mechanical theorem proving. Application of these techniques to artificial intelligence problems.