Lecture "Automated Reasoning II" (WS 2011/2012)

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.

Q&A Session:
Friday, Feb. 17, 14:15-??, Bldg E1.7 (MMCI), Room 2.01.

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).

Exercises

Slides and suggested readings

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

---

Previous | Up | Next

---

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