Lecture "Automated Reasoning II" (SS 2020)

Time and Venue:
Lecture and Tutorials: Mondays, 16:15-18:00, Wednesdays, 14:15-16:00, via Zoom.

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

Topics:
Advanced topics in automated reasoning:

• decision procedures;
• satisfiability modulo theories;
• superposition and beyond.

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

Slides and suggested readings

Exercise sheets

Examinations:
Oral exam at the end of the lecture.

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2020-04-27.
Imprint | Data Protection