Lecture "Automated Reasoning II" (SS 2022)

Time and Venue:
Lecture and Tutorials: Tue 14-16, Fri 10-12 (changed!),
either remotely via Zoom or in Bldg E1.4 (MPI), Room 021 (to be announced).
Start: April 12 via Zoom.

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

If you want to take the lecture send a brief e-mail to uwe@mpi-inf.mpg.de> (Subject: "AR2") as soon as possible.

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 end of the lecture.
(Exam dates can be chosen flexibly; registration via HISPOS until July 20.)

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