Lecture "Automated Reasoning II" (SS 2014)

Time and Venue:
Lecture: Wednesdays 12:15-14:00, Bldg E1.4 (MPI), Room 024.
Tutorials: Mondays, 12:15-14:00, Bldg E1.4 (MPI), Room 023.

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 DPLL, ordered resolution, term rewriting).

Slides and suggested readings

Exercise sheets

Examinations:
Oral exam at the beginning of the semester break.

---

Previous | Up | Next

---

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