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

Start

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)

Prerequisites

Automated Reasoning I

Registration

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.

Literature

- 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

Exercises

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

Examinations

TBD

Previous Automated Reasoning Courses