## Lecture "Automated Reasoning II" (SS 2016)

*Time and Venue:*

Lecture and Tutorials: Tuesdays, 12:15-14:00, Wednesdays, 12:15-14:00, Thursdays, 10:15-12:00,
Bldg E1.4 (MPI), Room 021.

**Note:**
This is a 6 ECTS points course.
Usually, a 6 ECTS points course has
4 hours per week (2 hours lecture + 2 hours tutorial).
However, this course will end already on June 14,
that is, about one month before the regular end of the lecture time.
To compensate for this, we will have 6 hours per week instead.

*Lecturers:*

Sophie Tourret <stourret@mpi-inf.mpg.de>

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>,
2018-04-11.

Imprint |

Data Protection