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

Christoph Weidenbach

Marco Voigt

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.

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

21.05.2019: Slides

28.05.2019: Slides

04.06.2019: Slides

18.06.2019: Slides

25.06.2019: Slides

02.07.2019: Slides

09.07.2019: Slides

16.07.2019: Slides

16.04.2019: exercise1

23.04.2019: exercise2  smt2input

30.04.2019: exercise3  smt2input

07.05.2019: exercise4

14.05.2019: exercise5

18.06.2019: exercise6

25.06.2019: exercise7

02.07.2019: exercise8

Oral Exams: August 13

• Winter 2018/2019: Automated Reasoning
• Summer 2018: Automated Reasoning II
• Winter 2017/2018: Automated Reasoning
• Summer 2017: Automated Reasoning II