This course was awarded the Best Teaching Award of the Computer Science Students Association for the summer semester 2016.
Time and Venue:
Lecture and Tutorials: Mondays and Wednesdays, 12:15-14:00, Bldg E1.4 (MPI), Room 021.
Advanced topics in automated reasoning:
Automated Reasoning I
(in particular CDCL, ordered resolution, term rewriting).
Oral exam at the beginning of the semester break. Please register in HISPOS at least two weeks before the end of the lecture time.