Time and Venue:
Lecture and Tutorials: Tuesdays, 12:15-14:00, Wednesdays, 12:15-14:00, Thursdays, 10:15-12:00, Bldg E1.4 (MPI), Room 021.
Note: This is a 6 ECTS points course. Usually, a 6 ECTS points course has 4 hours per week (2 hours lecture + 2 hours tutorial). However, this course will end already on June 14, that is, about one month before the regular end of the lecture time. To compensate for this, we will have 6 hours per week instead.
Advanced topics in automated reasoning:
Automated Reasoning I
(in particular CDCL, ordered resolution, term rewriting).
Oral exam at the end of the lecture.