Time and Venue:
Lecture: Wednesdays 14:15-16:00, Bldg E1.4 (MPI), Room 021.
Tutorials: Mondays 14:15-16:00, Bldg E1.7 (MMCI), Room 2.01.
Friday, Feb. 17, 14:15-??, Bldg E1.7 (MMCI), Room 2.01.
Advanced topics in automated reasoning:
Automated Reasoning I
(in particular DPLL, ordered resolution, term rewriting).
oral exam at the beginning of the semester break.