Lecture "Automated Reasoning II" (SS 2016)

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.

Uwe Waldmann <uwe@mpi-inf.mpg.de>

Advanced topics in automated reasoning:

Automated Reasoning I
(in particular CDCL, ordered resolution, term rewriting).

Slides and suggested readings

Exercise sheets

Oral exam at the beginning of the semester break. Please register in HISPOS at least two weeks before the end of the lecture time.

Lecture evaluation

Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2016-06-04.
Imprint | Data Protection