Decision Procedures (2+2), 6LP - Summer 2019


First Meeting (Date Changed!):

When: Thursday, March 28, 1:30 p.m.

Where: Building E1 5, Room 630


If you are not able to attend the meeting, please contact Jennifer Müller.

When & Where

The Lecture/Tutorial times will be discussed with all participants in the first meeting.


Lecture: Tuesday, 18 - 20 s.t.

Tutorial: TBD

Room 622, Building E1 5


First Meeting: Thursday, March 28, 1:30 p.m., room 630 (E1 5)


Automated Reasoning I


Register here for this course.
Don't forget to register with HISPOS since we are unable to do this automatically.

If you have any questions, please contact Jennifer Müller.


- Preliminaries: Some Sections from Automated Reasoning I: arI.pdf

09.04.2019: Slides

16.04.2019: Slides

23.04.2019: Slides

30.04.2019: Slides

07.05.2019: Slides   Script

14.05.2019: Slides


16.04.2019: exercise1

23.04.2019: exercise2  smt2input

30.04.2019: exercise3  smt2input

07.05.2019: exercise4

14.05.2019: exercise5



Previous Automated Reasoning Courses